Conference item icon

Conference item

Specifying secure transport layers

Abstract:

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-mess...

Expand abstract
Publication status:
Published

Actions


Access Document


Publisher copy:
10.1109/CSF.2008.14

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
Host title:
CSF 2008: 21ST IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM, PROCEEDINGS
Pages:
210-223
Publication date:
2008-01-01
DOI:
ISSN:
1940-1434
ISBN:
9780769531823
Pubs id:
pubs:292372
UUID:
uuid:06b733df-86da-47d4-ae38-885e7a8d0afc
Local pid:
pubs:292372
Source identifiers:
292372
Deposit date:
2012-12-19

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP