Nancy A. Durgin

Publication Activity (10 Years)

Years Active: 1999-2005
Publications (10 Years): 0

Publications

Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln
A comparison between strand spaces and multiset rewriting for security protocol analysis. J. Comput. Secur. 13 (2) (2005)
Nancy A. Durgin, Yuqing Mai, Jamie Van Randwyk
NetState: A Network Version Tracking System. USENIX Annual Technical Conference, FREENIX Track (2005)
Nancy A. Durgin, Patrick Lincoln, John C. Mitchell
Multiset rewriting and the complexity of bounded security protocols. J. Comput. Secur. 12 (2) (2004)
Nancy A. Durgin, John C. Mitchell, Dusko Pavlovic
A Compositional Logic for Proving Security Properties of Protocols. J. Comput. Secur. 11 (4) (2003)
Mourad Debbabi, Nancy A. Durgin, Mohamed Mejri, John C. Mitchell
Security by typing. Int. J. Softw. Tools Technol. Transf. 4 (4) (2003)
Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov
A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis. ISSS (2002)
Nancy A. Durgin, John C. Mitchell, Dusko Pavlovic
A Compositional Logic for Protocol Correctness. CSFW (2001)
Iliano Cervesato, Nancy A. Durgin, John C. Mitchell, Patrick Lincoln, Andre Scedrov
Relating Strands and Multiset Rewriting for Security Protocol Analysis. CSFW (2000)
Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov
A Meta-Notation for Protocol Analysis. CSFW (1999)