Modesti, Paolo (2016) AnBx: Automatic Generation and Verification of Security Protocols Implementations. In: 8th International Symposium, FPS 2015, 26-28 Oct 2015, Clermont-Ferrand, France.
Document
-
fps2015.pdf - Accepted Version
Abstract
Official URL: http://link.springer.com/chapter/10.1007/978-3-319...
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Depositing User: | Paolo Modesti |
| URI: | https://sure.sunderland.ac.uk/id/eprint/6441 |
Further Details
More Information
Depositing User
Identifiers
Item ID
6441
Users with ORCIDS
Catalogue record
Date Deposited
16 Jan 2017 12:21
Last Modified
04 Jun 2025 15:00
Contributors
Author
Paolo Modesti
University Divisions
Subjects
Actions (login required)
Download Statistics
Downloads per month over past year