Nancy A. Durgin

According to our database, Nancy A. Durgin authored at least 10 papers between 1999 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2005

A comparison between strand spaces and multiset rewriting for security protocol analysis.

Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln

J. Comput. Secur., 2005

NetState: A Network Version Tracking System.

Nancy A. Durgin, Yuqing Mai, Jamie Van Randwyk

Proceedings of the FREENIX Track: 2005 USENIX Annual Technical Conference, 2005

2004

Multiset rewriting and the complexity of bounded security protocols.

Nancy A. Durgin, Patrick Lincoln, John C. Mitchell

J. Comput. Secur., 2004

2003

Logical analysis and complexity of security protocols.

Nancy A. Durgin

PhD thesis, 2003

Security by typing.

Mourad Debbabi, Nancy A. Durgin, Mohamed Mejri, John C. Mitchell

Int. J. Softw. Tools Technol. Transf., 2003

A Compositional Logic for Proving Security Properties of Protocols.

Nancy A. Durgin, John C. Mitchell, Dusko Pavlovic

J. Comput. Secur., 2003

2002

A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis.

Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov

Proceedings of the Software Security -- Theories and Systems, 2002

2001

A Compositional Logic for Protocol Correctness.

Nancy A. Durgin, John C. Mitchell, Dusko Pavlovic

Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), 2001

2000

Relating Strands and Multiset Rewriting for Security Protocol Analysis.

Iliano Cervesato, Nancy A. Durgin, John C. Mitchell, Patrick Lincoln, Andre Scedrov

Proceedings of the 13th IEEE Computer Security Foundations Workshop, 2000

1999

A Meta-Notation for Protocol Analysis.

Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov

Proceedings of the 12th IEEE Computer Security Foundations Workshop, 1999