Formalising UPTANE in CSP for Security Testing.

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

Browse the full QRS paper archive.