Reference from ESORICS proceedings

Second European Symposium on Research in Computer Security (ESORICS 92)

Separating the Specification and Implementation Phases in Cryptology

Marie-Jeanne Toussaint

Keywords : cryptology, security, cryptographic protocol, formal verification, knowledge state, protocol execution tree

Abstract : We propose to separate the specification and implementation phases in the conception of the cryptographic protocols. The specification phase describes the logic of the protocol. We develop a method for formally verifying this logic before the publication of the protocol. The implementation phase contains the choice of an appropriate cryptographic function.

(Pages 77-101)

Proceedings table of contents