loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2008 21st IEEE Computer Security Foundations Symposium
Specifying Secure Transport Channels
June 23-June 25
ISBN: 978-0-7695-3182-3
ASCII Text
x 
 
Christopher Dilloway, Gavin Lowe, "Specifying Secure Transport Channels," Computer Security Foundations Symposium, IEEE, pp. 210-223, 2008 21st IEEE Computer Security Foundations Symposium, 2008.
 
 
BibTex
x
 
@article{ 10.1109/CSF.2008.14,
author = {Christopher Dilloway and Gavin Lowe},
title = {Specifying Secure Transport Channels},
journal ={Computer Security Foundations Symposium, IEEE},
volume = {0},
year = {2008},
isbn = {978-0-7695-3182-3},
pages = {210-223},
doi = {http://doi.ieeecomputersociety.org/10.1109/CSF.2008.14},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Security Foundations Symposium, IEEE
TI - Specifying Secure Transport Channels
SN - 978-0-7695-3182-3
SP210
EP223
A1 - Christopher Dilloway,
A1 - Gavin Lowe,
PY - 2008
KW - Confidentiality and authentication
KW - Secure channels
KW - Secure transport layers
KW - Security protocols
KW - Specification
VL - 0
JA - Computer Security Foundations Symposium, IEEE
ER -
 
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.
Index Terms:
Confidentiality and authentication, Secure channels, Secure transport layers, Security protocols, Specification
Citation:
Christopher Dilloway, Gavin Lowe, "Specifying Secure Transport Channels," csf, pp.210-223, 2008 21st IEEE Computer Security Foundations Symposium, 2008
Usage of this product signifies your acceptance of the Terms of Use.