Close menu

SURE

Sunderland Repository records the research produced by the University of Sunderland including practice-based research and theses.

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.

Item Type: Conference or Workshop Item (Paper)
[img]
Preview
PDF
esorics2015.pdf - Accepted Version

Download (446kB) | Preview

More Information

Additional Information: 10.1007/978-3-319-24177-7_11
Depositing User: Paolo Modesti

Identifiers

Item ID: 6210
URI: http://sure.sunderland.ac.uk/id/eprint/6210
Official URL: http://esorics2015.sba-research.org/

Users with ORCIDS

Catalogue record

Date Deposited: 11 May 2016 09:06
Last Modified: 20 Jan 2023 09:47

Contributors

Author: Omar Almousa
Author: Sebastian Mödersheim
Author: Paolo Modesti
Author: Luca Viganò

University Divisions

Faculty of Technology > School of Computer Science

Subjects

Computing > Cybersecurity
Computing > Network Computing
Computing

Actions (login required)

View Item (Repository Staff Only) View Item (Repository Staff Only)