LCS Publication Details
Publication Title: I/O Automaton Models and Proofs for Shared-Key Communication Systems
Publication Author: Lynch, N.
Additional Authors:
LCS Document Number: MIT-LCS-TR-789
Publication Date: 8-9-1999
LCS Group: No Group Specified
Additional URL: No URL Given
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
To obtain this publication:

To purchase a printed copy of this publication please contact MIT Document Services.