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.
CITATION STYLE
Almousa, O., Mödersheim, S., Modesti, P., & Viganò, L. (2015). Typing and compositionality for security protocols: A generalization to the geometric fragment. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9327, pp. 209–229). Springer Verlag. https://doi.org/10.1007/978-3-319-24177-7_11
Mendeley helps you to discover research relevant for your work.