Bella G. Formal Correctness of Security Protocols With 62 Figures and 4 Tables / / by Giampaolo Bella. // Springer e-books. URL: http://dx.doi.org/10.1007/978-3-540-68136-6