Siraj, A. Shaikh, Bush, Vicky J ORCID: 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