AnBx: Automatic Generation and Verification of Security Protocols Implementations
Tools
Tools
Tools
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.
This is the latest version of this item.
|
PDF
fps2015.pdf - Accepted Version Download (524kB) | Preview |
Official URL: http://link.springer.com/chapter/10.1007/978-3-319...
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | Computing > Network Computing Computing |
| Divisions: | Faculty of Applied Sciences > Department of Computing Engineering and Technology |
| Depositing User: | Paolo Modesti |
| Date Deposited: | 16 Jan 2017 12:21 |
| Last Modified: | 09 Mar 2017 15:54 |
| URI: | http://sure.sunderland.ac.uk/id/eprint/6441 |
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]
Actions (login required)
 |
View Item |
Downloads
Downloads per month over past year