Typing and compositionality for security protocols: A generalization to the geometric fragment

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

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

211 Downloads (Pure)

Abstract

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.
Original languageEnglish
Title of host publicationProceedings of the 20th European Symposium on Research in Computer Security (ESORICS 2015) : Part II
EditorsGünther Pernul, Peter Y. A. Ryan, Edgar Weippl
PublisherSpringer
Publication date2015
Pages209-229
ISBN (Print)978-3-319-24176-0
ISBN (Electronic)978-3-319-24177-7
DOIs
Publication statusPublished - 2015
Event20th European Symposium on Research in Computer Security (ESORICS 2015) - Vienna, Austria
Duration: 21 Sep 201525 Sep 2015
Conference number: 20
http://esorics2015.sba-research.org/

Conference

Conference20th European Symposium on Research in Computer Security (ESORICS 2015)
Number20
CountryAustria
CityVienna
Period21/09/201525/09/2015
Internet address
SeriesLecture Notes in Computer Science
Volume9327
ISSN0302-9743

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. In G. Pernul, P. Y. A. Ryan, & E. Weippl (Eds.), Proceedings of the 20th European Symposium on Research in Computer Security (ESORICS 2015): Part II (pp. 209-229). Springer. Lecture Notes in Computer Science, Vol.. 9327 https://doi.org/10.1007/978-3-319-24177-7_11