A Meta-Notation for Protocol Analysis. - Iliano Cervesato; Nancy A. Durgin; Patrick Lincoln; John C. Mitchell; Andre Scedrov (CSFW, 1999)

Relating Strands and Multiset Rewriting for Security Protocol Analysis. - Iliano Cervesato; Nancy A. Durgin; John C. Mitchell; Patrick Lincoln; Andre Scedrov (CSFW, 2000)

A Compositional Logic for Protocol Correctness. - Nancy A. Durgin; John C. Mitchell; Dusko Pavlovic (CSFW, 2001)

A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis. - Iliano Cervesato; Nancy A. Durgin; Patrick Lincoln; John C. Mitchell; Andre Scedrov (ISSS, 2002)

A Compositional Logic for Proving Security Properties of Protocols. - Nancy A. Durgin; John C. Mitchell; Dusko Pavlovic (J. Comput. Secur., 2003)

Security by typing. - Mourad Debbabi; Nancy A. Durgin; Mohamed Mejri; John C. Mitchell (Int. J. Softw. Tools Technol. Transf., 2003)

Logical analysis and complexity of security protocols. - Nancy A. Durgin (2003)

Multiset rewriting and the complexity of bounded security protocols. - Nancy A. Durgin; Patrick Lincoln; John C. Mitchell (J. Comput. Secur., 2004)

NetState: A Network Version Tracking System. - Nancy A. Durgin; Yuqing Mai; Jamie Van Randwyk (USENIX ATC, FREENIX Track, 2005)

A comparison between strand spaces and multiset rewriting for security protocol analysis. - Iliano Cervesato; Nancy A. Durgin; Patrick Lincoln (J. Comput. Secur., 2005)