Output details
11 - Computer Science and Informatics
Newcastle University
Return to search
Output 0 of 0 in the submission
Output title
Vertical Protocol Composition
Type
E - Conference contribution
Name of conference/published proceedings
IEEE 24th Computer Security Foundations Symposium (CSF)
Volume number
-
Issue number
-
First page of article
235
ISSN of proceedings
1940-1434
Year of publication
2011
Number of additional authors
1
Additional information
<10> Investigating when protocols can be securely executed on top of each other (say a browser session over TLS over a VPN), we proposed the first formalism and sufficient (statically checkable) criteria to prove secure parallel and vertical protocol composition in formal methods. Our results led to the creation of the new static compositionality checker for the Open-source Fix-point Model Checker (OFMC) and used in the EU FP7 IP AVANTSSAR (Contact: Sebastian Mödersheim, samo@dtu.dk).
Interdisciplinary
-
Cross-referral requested
-
Research group
E - Systems
Citation count
1
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-