Published in

Springer, Lecture Notes in Computer Science, p. 63-74, 2005

DOI: 10.1007/11599548_6

Elsevier, Computers and Security, 5(28), p. 310-324

DOI: 10.1016/j.cose.2008.10.001

Links

Tools

Export citation

Search in Google Scholar

Specifying Authentication Using Signal Events in CSP.

Journal article published in 2005 by Siraj A. Shaikh, Vicky J. Bush, Steve A. Schneider
This paper is available in a repository.
This paper is available in a repository.

Full text: Download

Red circle
Preprint: archiving forbidden
Orange circle
Postprint: archiving restricted
Red circle
Published version: archiving forbidden
Data provided by SHERPA/RoMEO