Formal Correctness of Security Protocols With 62 Figures and 4 Tables - Bella, Giampaolo (Springer Berlin Heidelberg, 2007)