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
Item Type: Conference or Workshop Item (Paper)
Additional Information: Revised Selected Papers
Subjects: Computing > Cybersecurity
Computing > Network Computing
Computing
Divisions: Digital Innovation Beacon > Computing Workstream
Faculty of Applied Sciences > Department of Computing Engineering and Technology
Related URLs:
Depositing User: Paolo Modesti
Date Deposited: 06 May 2016 09:55
Last Modified: 08 Mar 2017 13:50
URI: http://sure.sunderland.ac.uk/id/eprint/6211

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year