Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment (Extended Version)

Omar Almousa, Sebastian Alexander Mödersheim, Paolo Modesti, Luca Viganò

Research output: Book/ReportReportResearch

96 Downloads (Pure)

Abstract

We integrate, and improve upon, prior relative soundness results of two kinds. The first kind are typing results showing that if any security protocol that fulfils a number of sufficient conditions has an attack then 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.
Original languageEnglish
Place of PublicationKgs. Lyngby
PublisherTechnical University of Denmark
Number of pages26
Publication statusPublished - 2015
SeriesDTU Compute-Technical Report-2015
Number3
ISSN1601-2321

Cite this

Almousa, O., Mödersheim, S. A., Modesti, P., & Viganò, L. (2015). Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment (Extended Version). Technical University of Denmark. DTU Compute-Technical Report-2015, No. 3