Siraj A. Shaikh Vicky J. Bush Steve A. Schneider Specifying Authentication Using Signal Events in CSP. 63-74 2005 conf/cisc/2005 CISC http://dx.doi.org/10.1007/11599548_6 db/conf/cisc/cisc2005.html#ShaikhBS05