Close menu


Sunderland Repository records the research produced by the University of Sunderland including practice-based research and theses.

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: Monograph (Technical Report)
Full text not available from this repository.

More Information

Related URLs:
Depositing User: Paolo Modesti


Item ID: 6215
Identification Number: CS-TR-1479
Official URL:

Users with ORCIDS

Catalogue record

Date Deposited: 09 May 2016 14:10
Last Modified: 02 Jul 2019 09:10


Author: Michele Bugliesi
Author: Stefano Calzavara
Author: Sebastian Mödersheim
Author: Paolo Modesti

University Divisions

Digital Innovation Beacon
Faculty of Technology > School of Computer Science


Computing > Cybersecurity
Computing > Network Computing

Actions (login required)

View Item View Item