I/O Automaton Models and Proofs for Shared-Key Communication Systems
| dc.contributor.author | Lynch, Nancy A. | en_US |
| dc.date.accessioned | 2023-03-29T15:32:17Z | |
| dc.date.available | 2023-03-29T15:32:17Z | |
| dc.date.issued | 1999-08 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149901 | |
| dc.description.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 | en_US |
| dc.relation.ispartofseries | MIT-LCS-TR-789 | |
| dc.title | I/O Automaton Models and Proofs for Shared-Key Communication Systems | en_US |
