AnBx: Automatic Generation and Verification of Security Protocols Implementations

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.

[img]
Preview
PDF
fps2015.pdf - Accepted Version

Download (524kB) | Preview
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

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year