Siraj, A. Shaikh, Bush, Vicky J ORCID: https://orcid.org/0000-0002-8733-4358 and Schneider, Steve A
(2009)
Specifying authentication using signal events in CSP.
Computers and Security, 28 (5).
pp. 310-324.
doi:10.1007/11599548_6