Giampaolo Bella. Formal Correctness of Security Protocols - With 62 Figures and 4 Tables. Information Security and Cryptography, Springer, 2007. [doi]
@book{isc-Bella07, title = {Formal Correctness of Security Protocols - With 62 Figures and 4 Tables}, author = {Giampaolo Bella}, year = {2007}, doi = {10.1007/978-3-540-68136-6}, url = {http://dx.doi.org/10.1007/978-3-540-68136-6}, researchr = {https://researchr.org/publication/isc-Bella07}, cites = {0}, citedby = {0}, series = {Information Security and Cryptography}, publisher = {Springer}, isbn = {978-3-540-68134-2}, }