Analyzing Internet Security Protocols. - Alec Yasinsac; Justin Childs (HASE, 2001)

Formal analysis of modern security protocols. - Alec Yasinsac; Justin Childs (Inf. Sci., 2005)