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