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

Omar Almousa; Sebastian Mödersheim; Paolo Modesti; Luca Viganò

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

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

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

165 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 language	English
Title of host publication	Proceedings, Part II, Computer Security - ESORICS 2015
Editors	Günther Pernul, Peter Y. A. Ryan, Edgar R. Weippl
Publisher	Springer
Pages	209-229
Number of pages	21
Volume	9327
DOIs	https://doi.org/10.1007/978-3-319-24177-7_11
Publication status	Published - 2015
Event	20th European Symposium on Research in Computer Security - Vienna, Austria Duration: 21 Sept 2015 → 25 Sept 2015

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer

Conference

Conference	20th European Symposium on Research in Computer Security
Abbreviated title	ESORICS 2015
Country/Territory	Austria
City	Vienna
Period	21/09/15 → 25/09/15

Access to Document

10.1007/978-3-319-24177-7_11Licence: Unspecified

Full textAccepted author manuscript, 436 KBLicence: CC BY-NC-ND

https://doi.org/10.1007/978-3-319-24177-7_11Licence: Unspecified

Paolo Modesti
- P.Modestitees.acuk
- Centre for Digital Innovation
- Department of Computing & Games - Senior Lecturer in Cybersecurity
Person: Academic

Cite this

Almousa, O., Mödersheim, S., 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. R. Weippl (Eds.), Proceedings, Part II, Computer Security - ESORICS 2015 (Vol. 9327, pp. 209-229). (Lecture Notes in Computer Science). Springer. https://doi.org/10.1007/978-3-319-24177-7_11

@inproceedings{9a49385162de4efa8897dda83469ab52,

title = "Typing and Compositionality for Security Protocols:: A Generalization to the Geometric Fragment",

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.",

author = "Omar Almousa and Sebastian M{\"o}dersheim and Paolo Modesti and Luca Vigan{\`o}",

year = "2015",

doi = "10.1007/978-3-319-24177-7_11",

language = "English",

volume = "9327",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "209--229",

editor = "G{\"u}nther Pernul and Ryan, {Peter Y. A.} and Weippl, {Edgar R.}",

booktitle = "Proceedings, Part II, Computer Security - ESORICS 2015",

note = "20th European Symposium on Research in Computer Security, ESORICS 2015 ; Conference date: 21-09-2015 Through 25-09-2015",

}

Almousa, O, Mödersheim, S, Modesti, P & Viganò, L 2015, Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment. in G Pernul, PYA Ryan & ER Weippl (eds), Proceedings, Part II, Computer Security - ESORICS 2015. vol. 9327, Lecture Notes in Computer Science, Springer, pp. 209-229, 20th European Symposium on Research in Computer Security, Vienna, Austria, 21/09/15. https://doi.org/10.1007/978-3-319-24177-7_11

Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment. / Almousa, Omar; Mödersheim, Sebastian; Modesti, Paolo et al.
Proceedings, Part II, Computer Security - ESORICS 2015. ed. / Günther Pernul; Peter Y. A. Ryan; Edgar R. Weippl. Vol. 9327 Springer, 2015. p. 209-229 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Typing and Compositionality for Security Protocols:

T2 - 20th European Symposium on Research in Computer Security

AU - Almousa, Omar

AU - Mödersheim, Sebastian

AU - Modesti, Paolo

AU - Viganò, Luca

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-319-24177-7_11

DO - 10.1007/978-3-319-24177-7_11

M3 - Conference contribution

VL - 9327

T3 - Lecture Notes in Computer Science

SP - 209

EP - 229

BT - Proceedings, Part II, Computer Security - ESORICS 2015

A2 - Pernul, Günther

A2 - Ryan, Peter Y. A.

A2 - Weippl, Edgar R.

PB - Springer

Y2 - 21 September 2015 through 25 September 2015

ER -

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

Abstract

Publication series

Conference

Access to Document

Fingerprint

Profiles

Paolo Modesti

Cite this