Formal Correctness of Security Protocols - Bella, Giampaolo (Springer Berlin Heidelberg, 2020)