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

Documents