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: Reports, briefing/ working papers (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: 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 Science


Computing > Cybersecurity
Computing > Network Computing

Actions (login required)

View Item View Item