"Understanding Cryptographic Protocols using Authentication Tests"

Joshua Guttman, MITRE Corp.

Thursday, February 16, 2006 at 4:00 P.M.

Room 368 (CIT 3rd Floor)

Cryptographic protocols are short sequences of messages using cryptography. They allow principals in distributed systems to securely agree on values, even in the presence of malicious adversaries. Despite their apparent simplicity, existing cryptographic protocols are hard to appraise, and designing new protocols to achieve specific goals in a distributed system is challenging.

In this talk, we will describe the strand space approach to protocol analysis. It centers on two main theorems that we call the "authentication tests." The authentication tests give clean proofs of correct protocols; they help to identify attacks against flawed protocols; and they can shape the design process for new protocols.

This is joint work with Shaddin Doghmi, Jonathan Herzog, and Javier Thayer.

Host: Shriram Krishnamurthi