Modeling Seucriy Protocols

Friday, March 10, 2000 - 10:10am - 11:00am
Vincent 570
Javier Thayer (The Mitre Corporation)
Secure communication over insecure networks presupposes reliable exchange of session keys for encryption and reliable methods of authenticating interlocutors. These goals are achieved by security protocols. Though many security protocols have been proposed they are very hard to get right and very often exhibit subtle flaws. In this talk we will consider a graph-based model to understand and reason about security protocols.