Output details
11 - Computer Science and Informatics
University of Oxford
Article title
Analysing TLS in the strand spaces model
Type
D - Journal article
Title of journal
Journal of Computer Security
Article number
-
Volume number
19
Issue number
5
First page of article
975
ISSN of journal
0926-227X
Year of publication
2011
Number of additional authors
1
Additional information
<19>
TLS is the most widely used security protocol: it underpins most secure web communication. We analysed one mode of this protocol, both the hand shake and the subsequent record layer communication. To the best of our knowledge, it is the first paper to analyse both parts of the protocol together. The paper also develops some new general techniques for security protocol analysis.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
3
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
