AnBx: Automatic Generation and Verification of Security Protocols Implementations
This is the latest version of this item.
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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|
|
PDF
fps2015.pdf - Accepted Version Download (524kB) | Preview |
More Information
| Depositing User: Paolo Modesti |
Identifiers
| Item ID: 6441 |
| URI: http://sure.sunderland.ac.uk/id/eprint/6441 | Official URL: http://link.springer.com/chapter/10.1007/978-3-319... |
Users with ORCIDS
Catalogue record
| Date Deposited: 16 Jan 2017 12:21 |
| Last Modified: 02 Jul 2019 09:11 |
| Author: | Paolo Modesti |
University Divisions
Faculty of Technology > School of Computer ScienceSubjects
Computing > Network ComputingComputing
Actions (login required)
 |
View Item (Repository Staff Only) |
Available Versions of this Item
-
AnBx: Automatic Generation and Verification of Security Protocols Implementations. (deposited 08 Dec 2016 15:46)
- AnBx: Automatic Generation and Verification of Security Protocols Implementations. (deposited 16 Jan 2017 12:21) [Currently Displayed]
