Close menu


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

AnBx - Security Protocols Design and Verification

Bugliesi, Michele and Modesti, Paolo (2010) AnBx - Security Protocols Design and Verification. In: Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, ARSPA-WITS 2010, March 27-28, 2010, Paphos, Cyprus,.

Item Type: Conference or Workshop Item (Paper)
[img] PDF
arspa-wits2010.pdf - Accepted Version
Restricted to Registered users only

Download (259kB) | Request a copy

More Information

Additional Information: Revised Selected Papers
Related URLs:
Depositing User: Paolo Modesti


Item ID: 6211
Official URL:

Users with ORCIDS

Catalogue record

Date Deposited: 06 May 2016 09:55
Last Modified: 02 Jul 2019 09:10


Author: Michele Bugliesi
Author: Paolo Modesti

University Divisions

Faculty of Technology > School of Computer Science


Computing > Cybersecurity
Computing > Network Computing

Actions (login required)

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