Security Protocol Specification and Verification with AnBx
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.
| Item Type: | Reports, briefing/ working papers (Technical Report) |
|---|
Full text not available from this repository.
More Information
| Related URLs: |
| Depositing User: Paolo Modesti |
Identifiers
| Item ID: 6215 |
| Identification Number: CS-TR-1479 |
| URI: http://sure.sunderland.ac.uk/id/eprint/6215 | Official URL: http://www.cs.ncl.ac.uk/publications/trs/papers/14... |
Users with ORCIDS
Catalogue record
| Date Deposited: 09 May 2016 14:10 |
| Last Modified: 04 Jun 2025 15:01 |
| Author: | Michele Bugliesi |
| Author: | Stefano Calzavara |
| Author: | Sebastian Mödersheim |
| Author: | Paolo Modesti |
University Divisions
Faculty of Business and Technology > School of Computer Science and EngineeringSubjects
Computing > CybersecurityComputing > Network Computing
Computing
Actions (login required)
 |
View Item (Repository Staff Only) |
