Talk
Abstract:
Seminar
on Industrial Problems
Modeling Security 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
