TY  - BOOK
AU  - Ryan,P.Y.A
AU  - Schneider,S.A.
TI  - The Modelling and analysis of security protocols: The CSP approach / 
U1  - 0058RYA 
CY  - London
PB  - Addison-Wesley
KW  - Computer Security
KW  - Computer protocols
ER  -