dblp.uni-trier.dewww.uni-trier.de

Nancy A. Durgin

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
9EENancy A. Durgin, Yuqing Mai, Jamie Van Randwyk: NetState: A Network Version Tracking System. USENIX Annual Technical Conference, FREENIX Track 2005: 119-127
8 Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln: A comparison between strand spaces and multiset rewriting for security protocol analysis. Journal of Computer Security 13(2): 265-316 (2005)
2004
7 Nancy A. Durgin, Patrick Lincoln, John C. Mitchell: Multiset rewriting and the complexity of bounded security protocols. Journal of Computer Security 12(2): 247-311 (2004)
2003
6 Nancy A. Durgin, John C. Mitchell, Dusko Pavlovic: A Compositional Logic for Proving Security Properties of Protocols. Journal of Computer Security 11(4): 677-722 (2003)
5EEMourad Debbabi, Nancy A. Durgin, Mohamed Mejri, John C. Mitchell: Security by typing. STTT 4(4): 472-495 (2003)
2002
4EEIliano 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: 356-383
2001
3EENancy A. Durgin, John C. Mitchell, Dusko Pavlovic: A Compositional Logic for Protocol Correctness. CSFW 2001: 241-
2000
2EEIliano Cervesato, Nancy A. Durgin, John C. Mitchell, Patrick Lincoln, Andre Scedrov: Relating Strands and Multiset Rewriting for Security Protocol Analysis. CSFW 2000: 35-51
1999
1EEIliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov: A Meta-Notation for Protocol Analysis. CSFW 1999: 55-69

Coauthor Index

1Iliano Cervesato [1] [2] [4] [8]
2Mourad Debbabi [5]
3Patrick Lincoln [1] [2] [4] [7] [8]
4Yuqing Mai [9]
5Mohamed Mejri [5]
6John C. Mitchell [1] [2] [3] [4] [5] [6] [7]
7Dusko Pavlovic [3] [6]
8Jamie Van Randwyk [9]
9Andre Scedrov [1] [2] [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)