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: 20 Jan 2023 09:46 |
| Author: | Michele Bugliesi |
| Author: | Stefano Calzavara |
| Author: | Sebastian Mödersheim |
| Author: | Paolo Modesti |
University Divisions
Faculty of Technology > School of Computer ScienceSubjects
Computing > CybersecurityComputing > Network Computing
Computing
Actions (login required)
 |
View Item (Repository Staff Only) |
