Formal correctness of security protocols - Bella, Giampaolo (New York : Springer, 2007)
Bibliography : p. [265]-274
Keywords: Computer security; Computer networks -- Security measures; Computer networks protocols