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)

Search Google Scholar

Item Type: Monograph (Technical Report)
Subjects: Computing > Cybersecurity
Computing > Network Computing
Computing
Divisions: Digital Innovation Beacon
Faculty of Technology > School of Computer Science
Related URLs:
Depositing User: Paolo Modesti
Date Deposited: 09 May 2016 14:10
Last Modified: 02 Jul 2019 09:10
URI: http://sure.sunderland.ac.uk/id/eprint/6215

Actions (login required)

View Item View Item