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,.

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: Publisher

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