1
A strand-based analysis of the protocol TLS | |
Author | Parinya Chalermsook |
Call Number | AIT Thesis no.CS-05-14 |
Subject(s) | Computer network protocols |
Note | A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science, School of Advanced Technologies |
Publisher | Asian Institute of Technology |
Series Statement | Thesis ; no. CS-05-14 |
Abstract | In this work, we consider the protocol Transport Layer Security, the next generation of SSL. The meaning of every message is analyzed, and some properties are proved in the strand space model which moderately captures the Dolev-Yao model. We show that TLS achieves the secrecy property, which is required for every key exchange protocols. We, moreover, show that the protocol can provide guarantees of agreement for both principals. While TLS always guarantees the agreement for client side, the agreement guarantee for the other side is left optional. We also give a rigorous, though not much formal, analysis of session resumption in TLS. We further show that a novel, intuitive approach for protocol design works in practice by showing the design of TLS in its format. Devised recently, this approach enables a protocol designer to design a protocol in the very high-level format, called Speech Act, and the protocol compiler is responsible for translating a high-level specification to sequences of low-level message sending. The correctness of designed protocols are proved with respect to translation. In the last chapter of this thesis, we also suggest potential improvement of Speech Act-language as to enable the design of more complex protocols |
Year | 2005 |
Corresponding Series Added Entry | Asian Institute of Technology. Thesis ; no. CS-05-14 |
Type | Thesis |
School | School of Advanced Technologies (SAT) |
Department | Department of Information and Communications Technologies (DICT) |
Academic Program/FoS | Computer Science (CS) |
Chairperson(s) | Phan Minh Dung; |
Examination Committee(s) | Haddawy, Peter;Guha, Sumanta; |
Scholarship Donor(s) | His Majesty the King of Thailand; |
Degree | Thesis (M.Sc.) - Asian Institute of Technology, 2005 |