Formal Correctness Of Security Protocols by Giampaolo Bella