Close menu

SURE

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

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: 02 Jul 2019 09:10

Contributors

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

Subjects

Computing > Cybersecurity
Computing > Network Computing
Computing

Actions (login required)

View Item View Item