Nancy A. Durgin

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2005
A comparison between strand spaces and multiset rewriting for security protocol analysis.
J. Comput. Secur., 2005

NetState: A Network Version Tracking System.
Proceedings of the FREENIX Track: 2005 USENIX Annual Technical Conference, 2005

2004
Multiset rewriting and the complexity of bounded security protocols.
J. Comput. Secur., 2004

2003
Security by typing.
Int. J. Softw. Tools Technol. Transf., 2003

A Compositional Logic for Proving Security Properties of Protocols.
J. Comput. Secur., 2003

2002
A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis.
Proceedings of the Software Security -- Theories and Systems, 2002

2001
A Compositional Logic for Protocol Correctness.
Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), 2001

2000
Relating Strands and Multiset Rewriting for Security Protocol Analysis.
Proceedings of the 13th IEEE Computer Security Foundations Workshop, 2000

1999
A Meta-Notation for Protocol Analysis.
Proceedings of the 12th IEEE Computer Security Foundations Workshop, 1999


  Loading...