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.

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: 02 Jul 2019 09:10

Contributors

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

University Divisions

Faculty of Technology > School of Computer Science
Digital Innovation Beacon

Subjects

Computing > Cybersecurity
Computing > Network Computing
Computing

Actions (login required)

View Item