Close menu

SURE

Sunderland Repository records the research produced by the University of Sunderland including practice-based research and theses.

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)
[img]
Preview
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

Contributors

Author: Paolo Modesti

University Divisions

Faculty of Technology > School of Computer Science

Subjects

Computing > Network Computing
Computing

Actions (login required)

View Item (Repository Staff Only) View Item (Repository Staff Only)

Available Versions of this Item