Formal Correctness of Security Protocols : With 62 Figures and 4 Tables
by Giampaolo Bella.
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
v.: digital
Serie: Information Security and Cryptography, Texts and Monographs, ISSN 1619-7100
ISBN: 9783540681366