Close menu

SURE

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

Identifiers

Item ID: 6211
URI: http://sure.sunderland.ac.uk/id/eprint/6211
Official URL: http://dx.doi.org/10.1007/978-3-642-16074-5_12

Users with ORCIDS

Catalogue record

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

Contributors

Author: Michele Bugliesi
Author: Paolo Modesti

University Divisions

Faculty of Technology > School of Computer Science

Subjects

Computing > Cybersecurity
Computing > Network Computing
Computing

Actions (login required)

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