Towards Extensional Goals in Authentication Protocols (1997)

Cached

Download Links

by Colin Boyd
Venue:In Proceedings of the 1997 DIMACS Workshop on Design and Formal Verification of Security Protocols
Citations:12 - 0 self

Active Bibliography

792 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
802 Applied Cryptography -- Protocols, Algorithms, and . . . – Bruce Schneier
6 A Method for Examining Cryptographic Protocols – Brett C. Tjaden - 1997
Analysis and Synthesis of Authentication and Authorisation Mechanisms Against Subterfuge – Hongbin Zhou - 2007
29 The Logic of Authentication Protocols – Paul Syverson, Iliano Cervesato - 2001
57 A derivation system and compositional logic for security protocols – Anupam Datta , Ante Derek , John C. Mitchell , Dusko Pavlovic - 2005
7 Formal Methods in the Design of Cryptographic Protocols (state of the Art) – Levente Buttyan - 1999
Published In The Logic of Authentication Protocols? – Paul Syverson, Iliano Cervesato, Paul Syverson, Iliano Cervesato
454 Non-Malleable Cryptography – Danny Dolev, Cynthia Dwork, Moni Naor - 2000