You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Oxford » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of Oxford

Return to search Previous output Next output

Output 209 of 263 in the submission

Output title

Specifying secure transport layers

Type

E - Conference contribution

DOI

10.1109/CSF.2008.14

Name of conference/published proceedings

Proceedings - IEEE Computer Security Foundations Symposium

Volume number

Issue number

First page of article

210

ISSN of proceedings

1940-1434

Year of publication

2008

URL

http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=4556688

Number of additional authors

Additional information

<19>

Most modern networked security architectures are built from a general-purpose secure transport protocol, such as TLS, together with a special-purpose application protocol. This paper shows how to abstractly model such layered protocols, abstracting away from the implementation of the transport protocol and just modelling the services it provides. In particular, the paper shows how to capture a range of properties provided by different secure transport protocols, thereby laying the foundations for the study of such layered protocols.

Interdisciplinary

Cross-referral requested

Research group

None

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract