Separating the Specification and Implementation Phases in Cryptology

A Formal Language for Cryptographic Protocol Requirements

Designs, Codes and Cryptography - Special issue dedicated to Gustavus J. Simmons

The Logic of Authentication Protocols

FOSAD '00 Revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design on Foundations of Security Analysis and Design: Tutorial Lectures

Confidentiality-Preserving Refinement

CSFW '01 Proceedings of the 14th IEEE workshop on Computer Security Foundations

Limitations on design principles for public key protocols

SP'96 Proceedings of the 1996 IEEE conference on Security and privacy