I/O Automaton Models and Proofs for Shared-Key Communication Systems
Author(s)
Lynch, Nancy A.![Thumbnail](/bitstream/handle/1721.1/149901/MIT-LCS-TR-789.pdf.jpg?sequence=3&isAllowed=y)
DownloadMIT-LCS-TR-789.pdf (3.953Mb)
Metadata
Show full item recordAbstract
The combination of two security protocols, a simple shared-key communication protocol and the Diffie-Hellman key distribution protocol, is modeled formally and proved correct. The modeling is based on the I/O automaton model for distributed algorithms, an
Date issued
1999-08Series/Report no.
MIT-LCS-TR-789