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 6 of 263 in the submission

Article title

A Framework for Compositional Verification of Security Protocols

Type

D - Journal article

DOI

10.1016/j.ic.2007.07.002

Title of journal

Information and Computation

Article number

Volume number

206

Issue number

2-4

First page of article

425

ISSN of journal

0890-5401

Year of publication

2008

URL

http://www.sciencedirect.com/science/article/pii/S0890540107001228

Number of additional authors

Additional information

<10>

The time needed to analyse a security protocol is exponential in its size, making a compositional approach desirable. This paper presents a compositional approach for the verification of security protocols, developing a number of theorems that aid in establishing the security of a composed protocol from the security of its components. For each of these theorems, formal proofs are provided. We apply the framework to key establishment in the WIMAX protocol, which was previously considered infeasible for verification. Our framework enables us to show correctness of the WIMAX composition using a high degree of automation.

A preliminary, unrefereed Technical Report was available online from 2006. This was not submitted to RAE 2008.

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