Formal correctness of security protocols - Bella, Giampaolo (Information security and cryptography, 2007)