Formalising UPTANE in CSP for Security Testing
| Date first appeared online | |
| DOI | 10.1109/qrs-c55045.2021.00124 |
| Authors | Nguyen H. |
| Journal Name | 2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C) |
| Volume |
| Date first appeared online | |
| DOI | 10.1109/qrs-c55045.2021.00124 |
| Authors | Nguyen H. |
| Journal Name | 2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C) |
| Volume |