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.
Document
-
esorics2015.pdf - Accepted Version
Abstract
Official URL: http://esorics2015.sba-research.org/
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | 10.1007/978-3-319-24177-7_11 |
| Depositing User: | Paolo Modesti |
| URI: | https://sure.sunderland.ac.uk/id/eprint/6210 |
Further Details
More Information
Additional Information
10.1007/978-3-319-24177-7_11
Depositing User
Identifiers
Item ID
6210
Users with ORCIDS
Catalogue record
Date Deposited
11 May 2016 09:06
Last Modified
04 Jun 2025 15:01
Contributors
Author
Omar Almousa
Author
Sebastian Mödersheim
Author
Paolo Modesti
Author
Luca Viganò
University Divisions
Subjects
Actions (login required)
Download Statistics
Downloads per month over past year