Conference Paper/Proceeding/Abstract 694 views
Formalising UPTANE in CSP for Security Testing
Rhys Kirk,
Hoang Nguyen 
,
Jeremy Bryans,
Siraj Shaikh,
David Evans,
David Price
,
Jeremy Bryans,
Siraj Shaikh,
David Evans,
David Price
2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C)
Swansea University Author:
Hoang Nguyen
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1109/qrs-c55045.2021.00124
Abstract
Formalising UPTANE in CSP for Security Testing
| Published in: | 2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C) |
|---|---|
| ISBN: | 978-1-6654-7836-6 |
| ISSN: | 2693-9371 |
| Published: |
IEEE
2021
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa63976 |
| College: |
Faculty of Science and Engineering |
|---|