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

Almousa, Omar, Mödersheim, Sebastian, Modesti, Paolo and Viganò, Luca (2015) Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment. In: Computer Security - ESORICS 2015 - 20th European Symposium on Research in Computer Security, 21-25 Sep 2015, Vienna, Austria.

[img]
Preview
PDF
esorics2015.pdf - Accepted Version

Download (446kB) | Preview
Item Type: Conference or Workshop Item (Paper)
Additional Information: 10.1007/978-3-319-24177-7_11
Subjects: Computing > Cybersecurity
Computing > Network Computing
Computing
Divisions: Faculty of Applied Sciences > Department of Computing Engineering and Technology
Digital Innovation Beacon
Depositing User: Paolo Modesti
Date Deposited: 11 May 2016 09:06
Last Modified: 09 Mar 2017 15:50
URI: http://sure.sunderland.ac.uk/id/eprint/6210

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year