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.

Preview

PDF esorics2015.pdf - Accepted Version Download (446kB) | Preview

Search Google Scholar

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