Formal Correctness of Security Protocols - Bella, Giampaolo; Abadi, Martin; Anderson, Ross (Springer Berlin Heidelberg, 2007)