Toggle Main Menu Toggle Search

Open Access padlockePrints

Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment

Lookup NU author(s): Dr Paolo Modesti


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


We integrate, and improve upon, prior relative soundness results of two kinds. The first kind are typing results showing that any security protocol that fulfils a number of sufficient conditions has an attack if it has a well-typed attack. The second kind considers the parallel composition of protocols, showing that when running two protocols in parallel allows for an attack, then at least one of the protocols has an attack in isolation. The most important generalization over previous work is the support for all security properties of the geometric fragment.

Publication metadata

Author(s): Almousa O, Mödersheim S, Modesti P, Viganò L

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 20th European Symposium on Research in Computer Security

Year of Conference: 2015

Pages: 209-229

Print publication date: 01/01/2015

Acceptance date: 01/01/1900

Publisher: Springer International Publishing


DOI: 10.1007/978-3-319-24177-7_11

Library holdings: Search Newcastle University Library for this item

Series Title: Security and Cryptology: Computer Security - ESORICS 2015

ISBN: 9783319241760