TY  - BOOK
AU  - Bella,Giampaolo
TI  - Formal correctness of security protocols
SN  - 9783540681342
PY  - 2007///
CY  - New York
PB  - Springer
KW  - Computer security
KW  - Computer networks
KW  - Security measures
KW  - Computer network protocols
N1  - Includes bibliographical references
ER  -