Reference from ESORICS proceedings

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)

Proceedings table of contents