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,.
Document
-
![[thumbnail of arspa-wits2010.pdf]](https://sure.sunderland.ac.uk/style/images/fileicons/application_pdf.png "arspa-wits2010.pdf")
arspa-wits2010.pdf - Accepted Version
Restricted to Registered users only
Abstract
Official URL: http://dx.doi.org/10.1007/978-3-642-16074-5_12
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | Revised Selected Papers |
| Related URLs: | |
| Depositing User: | Paolo Modesti |
| URI: | https://sure.sunderland.ac.uk/id/eprint/6211 |
Further Details
More Information
Identifiers
Item ID
6211
Users with ORCIDS
Catalogue record
Date Deposited
06 May 2016 09:55
Last Modified
04 Jun 2025 15:03
Contributors
Author
Michele Bugliesi
Author
Paolo Modesti
University Divisions
Subjects
Actions (login required)
Download Statistics
Downloads per month over past year