Cryptographic Protocol Explication and End-Point Projection

Abstract. Cryptographic protocols are useful for engineering trust in transactions. There are several languages for describing these protocols, but these tend to capture the communications from the perspective of an individual role. In contrast, traditional protocol descriptions as found in a state of nature tend to employ a whole-protocol description, resulting in an impedance mismatch. In this paper we present two results to address this gap between human descriptions and deployable specifications. The first is an end-point projection technique that consumes an explicit whole-protocol description and generates specifications that capture the behavior of each participant role. In practice, however, many whole-protocol descriptions contain idiomatic forms of implicit specification. We therefore present our second result, a transformation that identifies and eliminates these implicit patterns, thereby preparing protocols for end-point projection. Concretely, our tools consume protocols ...

• Type: Conference
• Year: 2008
• Where: ESORICS
• Authors: Jay A. McCarthy, Shriram Krishnamurthi
• Keywords: Cryptographic Protocol, End-point Projection, ESORICS 2008, Security Privacy, Whole-protocol Descriptions