Specifying secure transport layers

Conference item

Security architectures often make use of secure transport protocols to protect network messages: the transport protocols provide secure channels between hosts. In this paper we present a hierarchy of specifications for secure channels. We give trace specifications capturing a number of different confidentiality and authentication properties that secure channels might satisfy, and compare their strengths. We use the various modes of TLS as a running example, and we give examples of single-message protocols that we believe satisfy the channel specifications. © 2008 IEEE.

Authors: Dilloway, C; Lowe, G

• Publication status: Published
• Host title: CSF 2008: 21ST IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM, PROCEEDINGS
• Pages: 210-223
• Publication date: 2008-01-01
• DOI: 10.1109/CSF.2008.14
• ISSN: 1940-1434
• ISBN: 9780769531823