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

[img] PDF
arspa-wits2010.pdf - Accepted Version
Restricted to Registered users only

Download (259kB) | Request a copy

Search Google Scholar

Item Type: Conference or Workshop Item (Paper)
Additional Information: Revised Selected Papers
Subjects: Computing > Cybersecurity
Computing > Network Computing
Computing
Divisions: Faculty of Technology > School of Computer Science
Related URLs:
Depositing User: Paolo Modesti
Date Deposited: 06 May 2016 09:55
Last Modified: 02 Jul 2019 09:10
URI: http://sure.sunderland.ac.uk/id/eprint/6211

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year