TY  - BOOK
AU  - Bella,Giampaolo
TI  - Formal correctness of security protocols
SN  - 3540681345
PY  - 2007///
CY  - New York
PB  - Springer
KW  - Computer security
KW  - Computer networks
KW  - Security measures
KW  - Computer networks protocols
N1  - Bibliography : p. [265]-274
ER  -