Bugliesi, Michele, Calzavara, Stefano, Mödersheim, Sebastian and Modesti, Paolo (2015) Security Protocol Specification and Verification with AnBx. Technical Report. School of Computing Science, Newcastle University.
Full text not available from this repository. (Request a copy)Abstract
Official URL: http://www.cs.ncl.ac.uk/publications/trs/papers/14...
| Item Type: | Reports, briefing/ working papers (Technical Report) |
|---|---|
| Related URLs: | |
| Depositing User: | Paolo Modesti |
| URI: | https://sure.sunderland.ac.uk/id/eprint/6215 |
Further Details
More Information
Related URLs
Depositing User
Identifiers
Item ID
6215
Identification Number
CS-TR-1479
Users with ORCIDS
Catalogue record
Date Deposited
09 May 2016 14:10
Last Modified
04 Jun 2025 15:01
Contributors
Author
Michele Bugliesi
Author
Stefano Calzavara
Author
Sebastian Mödersheim
Author
Paolo Modesti
University Divisions
Subjects
Actions (login required)
Altmetric
Altmetric
Altmetric