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: 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

Contributors

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

University Divisions

Faculty of Technology > School of Computer Science

Subjects

Computing > Cybersecurity
Computing > Network Computing
Computing

Actions (login required)

View Item (Repository Staff Only) View Item (Repository Staff Only)