Formal Correctness of Security Protocols - Bella, Giampaolo (Springer Verlag, 2007)