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)