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
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: 20 May 2019 13:31

Actions (login required)

View Item View Item


Downloads per month over past year