TY  - BOOK
AU  - Peter Ryan
TI  - Modelling and Analysis of Security Protocols
SN  - 0000053080
U1  - 1.621 
PY  - 2001///
CY  - New York
PB  - Addison Wesely
KW  -  Modelling
KW  -  Protocols
KW  -  Security
KW  - Analysis
KW  - Computer Networks Datanetworks
ER  -