First European Symposium On Research In Computer Security (ESORICS 90)
Epistemic Verification of Cryptographic Protocols
Pierre Bieber
Keywords :
Abstract : We propose a new method in order to analyze cryptographic protocols. We use a logic of knowledge, time and communication in order to express security specifications and the behaviors of the agents of a protocol. Then we build a formula of the logic that represents security enforcement. The verification of the protocol is equivalent to finding a proof in the logic of the security formula. We apply this method to the verification of the Needham-Schroeder authentication protocol.
(Pages 211-221)