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.

Full text not available from this repository. (Request a copy)
Item Type: Monograph (Technical Report)
Subjects: Computing > Cybersecurity
Computing > Network Computing
Computing
Divisions: Digital Innovation Beacon
Faculty of Applied Sciences > Department of Computing Engineering and Technology
Related URLs:
Depositing User: Paolo Modesti
Date Deposited: 09 May 2016 14:10
Last Modified: 13 Oct 2016 08:28
URI: http://sure.sunderland.ac.uk/id/eprint/6215

Actions (login required)

View Item View Item