Formal correctness of security protocols - Bella, Giampaolo. (Springer, 2007)