I/O Automaton Models and Proofs for Shared-Key Communication Systems
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
| Main Author: | |
|---|---|
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149901 |
| _version_ | 1826188621002047488 |
|---|---|
| author | Lynch, Nancy A. |
| author_facet | Lynch, Nancy A. |
| author_sort | Lynch, Nancy A. |
| collection | MIT |
| description | 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 |
| first_indexed | 2024-09-23T08:02:31Z |
| id | mit-1721.1/149901 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T08:02:31Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1499012023-03-30T04:25:16Z I/O Automaton Models and Proofs for Shared-Key Communication Systems Lynch, Nancy A. 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 2023-03-29T15:32:17Z 2023-03-29T15:32:17Z 1999-08 https://hdl.handle.net/1721.1/149901 MIT-LCS-TR-789 application/pdf |
| spellingShingle | Lynch, Nancy A. I/O Automaton Models and Proofs for Shared-Key Communication Systems |
| title | I/O Automaton Models and Proofs for Shared-Key Communication Systems |
| title_full | I/O Automaton Models and Proofs for Shared-Key Communication Systems |
| title_fullStr | I/O Automaton Models and Proofs for Shared-Key Communication Systems |
| title_full_unstemmed | I/O Automaton Models and Proofs for Shared-Key Communication Systems |
| title_short | I/O Automaton Models and Proofs for Shared-Key Communication Systems |
| title_sort | i o automaton models and proofs for shared key communication systems |
| url | https://hdl.handle.net/1721.1/149901 |
| work_keys_str_mv | AT lynchnancya ioautomatonmodelsandproofsforsharedkeycommunicationsystems |