The faithfulness of abstract protocol analysis: Message authentication (original) (raw)

Dolev and Yao initiated an approach to studying cryptographic pro-tocols which abstracts from possible problems with the cryptography so as to focus on the structural aspects of the protocol. Recent work inthis framework has developed easily applicable methods to determine many security properties of protocols. A separate line of work, initi-ated by Bellare and Rogaway, analyzes the way specific cryptographic primitives are used in protocols. It gives asymptotic bounds on therisk of failures of secrecy or authentication.