Nancy A. Durgin - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 10 from 10

2005

A comparison between strand spaces and multiset rewriting for security protocol analysisIliano Cervesato, Nancy A. Durgin, Patrick Lincoln. jcs, 13(2):265-316, 2005.

NetState: A Network Version Tracking SystemNancy A. Durgin, Yuqing Mai, Jamie Van Randwyk. usenix 2005: 119-127 [doi]

2004

Multiset rewriting and the complexity of bounded security protocolsNancy A. Durgin, Patrick Lincoln, John C. Mitchell. jcs, 12(2):247-311, 2004.

2003

Security by typingMourad Debbabi, Nancy A. Durgin, Mohamed Mejri, John C. Mitchell. STTT, 4(4):472-495, 2003. [doi]

Logical analysis and complexity of security protocolsNancy A. Durgin. PhD thesis, Stanford University, USA, 2003. [doi]

A Compositional Logic for Proving Security Properties of ProtocolsNancy A. Durgin, John C. Mitchell, Dusko Pavlovic. jcs, 11(4):677-722, 2003.

2002

A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol AnalysisIliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov. isss2 2003: 356-383 [doi]

2001

A Compositional Logic for Protocol CorrectnessNancy A. Durgin, John C. Mitchell, Dusko Pavlovic. csfw 2001: 241 [doi]

2000

Relating Strands and Multiset Rewriting for Security Protocol AnalysisIliano Cervesato, Nancy A. Durgin, John C. Mitchell, Patrick Lincoln, Andre Scedrov. csfw 2000: 35-51 [doi]

1999

A Meta-Notation for Protocol AnalysisIliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov. csfw 1999: 55-69 [doi]

Sign in or sign up to see more results.

runs on WebDSL