TY  - BOOK
AU  - Bella Giampaolo
TI  - Formal Correctness of Security Protocols
AV  - 005.8 BEL-F
U1  - 005.8 
PY  - 2007///
CY  - Heidelberg
PB  - Springer
ER  -