HOME    »    PROGRAMS/ACTIVITIES    »    Annual Thematic Program
Talk Abstract
Seminar on Industrial Problems
Modeling Seucriy Protocols
March 10, 2000

Presented by:

F. Javier Thayer
Mitre Corporation

570 Vincent Hall
10:10 am

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.


Material from IMA Talk   pdf (128KB)  postscript (141KB)

Back to 1999-2000 Seminars on Industrial Problems

Back to Industrial Programs

Back to top of page

Connect With Us: