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

DOI10.1007/978-3-319-24177-7_11zbMath1499.68043OpenAlexW2293889868MaRDI QIDQ2165457

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

Publication date: 19 August 2022

Full work available at URL: http://sure.sunderland.ac.uk/id/eprint/6210/1/esorics2015.pdf

Mathematics Subject Classification ID

Cryptography (94A60) Computer security (68M25)

Related Items (1)

Stateful protocol composition

This page was built for publication: Typing and compositionality for security protocols: a generalization to the geometric fragment