Statistics
Publications
6
Citations
725
H-Index
6
Active since
2002
Nancy Durgin is an author at Stanford University specializing in security protocol verification, security protocols, and protocol analysis.
Publications per year
2002–2005
6
6
A meta-notation for protocol analysis
Iliano Cervesato, Nancy Durgin, Patrick Lincoln et al. · 2003 · 251 citations
Multiset rewriting and the complexity of bounded security protocols
Nancy Durgin, Patrick Lincoln, John C. Mitchell et al. · Journal of Computer Security · 2004 · 166 citations
Relating strands and multiset rewriting for security protocol analysis
Iliano Cervesato, Nancy Durgin, John C. Mitchell et al. · 2002 · 89 citations
A compositional logic for protocol correctness
Nancy Durgin, John C. Mitchell, Duško Pavlović · 2005 · 75 citations
1–5 of 6