DSpace Repository

A strand-based analysis of the protocol TLS

Show simple item record

dc.contributor.author Parinya Chalermsook en_US
dc.date.accessioned 2015-01-12T10:40:25Z
dc.date.available 2015-01-12T10:40:25Z
dc.identifier.other AIT Thesis no.CS-05-14 en_US
dc.identifier.uri http://www.cs.ait.ac.th/xmlui/handle/123456789/324
dc.description Pathum Thani, Thailand : Asian Institute of Technology, 2005 en_US
dc.description 48 p. en_US
dc.description.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.
dc.relation.ispartof Thesis no. CS-05-14 en_US
dc.relation.ispartof Asian Institute of Technology. Thesis no. CS-05-14 en_US
dc.subject Computer network protocols en_US
dc.title A strand-based analysis of the protocol TLS en_US
dc.type Thesis en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace

Advanced Search


My Account