Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment
Tools
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.
|
PDF
esorics2015.pdf - Accepted Version Download (446kB) | Preview |
Official URL: http://esorics2015.sba-research.org/
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 Technology > School of Computer Science Digital Innovation Beacon |
Depositing User: | Paolo Modesti |
Date Deposited: | 11 May 2016 09:06 |
Last Modified: | 02 Jul 2019 09:10 |
URI: | http://sure.sunderland.ac.uk/id/eprint/6210 |
Actions (login required)
![]() |
View Item |
Downloads
Downloads per month over past year
Altmetric