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

Output details

11 - Computer Science and Informatics

Newcastle University

Return to search Previous output Next output

Output 99 of 100 in the submission

Output title

Vertical Protocol Composition

Type

E - Conference contribution

DOI

10.1109/CSF.2011.23

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

URL

http://dx.doi.org/10.1109/CSF.2011.23

Number of additional authors

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

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract