We are experiencing some difficulties with our submission forms, which we are working to resolve. If you have any issues, please contact us at dspace-lib@mit.edu.

I/O Automaton Models and Proofs for Shared-Key Communication Systems

Thumbnail Image
Download
Name

MIT-LCS-TR-789.pdf

Size

3.95 MB

Format

Adobe PDF

Checksum (MD5)

9087279618ca11d41ae40b43076ec19d

Author(s)
Lynch, Nancy A.
Date Issued
August 1999
Series/Report no.
MIT-LCS-TR-789
Abstract
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
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.