Nancy A. Durgin Vis

*	2005
9	EE	Nancy 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)
5	EE	Mourad Debbabi, Nancy A. Durgin, Mohamed Mejri, John C. Mitchell: Security by typing. STTT 4(4): 472-495 (2003)
	2002
4	EE	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: 356-383
	2001
3	EE	Nancy A. Durgin, John C. Mitchell, Dusko Pavlovic: A Compositional Logic for Protocol Correctness. CSFW 2001: 241-
	2000
2	EE	Iliano 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
1	EE	Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov: A Meta-Notation for Protocol Analysis. CSFW 1999: 55-69

Coauthor Index

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

Colors in the list of coauthors