Formalising UPTANE in CSP for Security Testing

Rhys Kirk, Hoang Nga Nguyen, Jeremy Bryans, Siraj Shaikh, David Evans, David Price

Research output: Contribution to conferencePaperpeer-review

Fingerprint

Dive into the research topics of 'Formalising UPTANE in CSP for Security Testing'. Together they form a unique fingerprint.

Computer Science