Security Protocol Specification and Verification with AnBx
Tools
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)
Official URL: http://www.cs.ncl.ac.uk/publications/trs/papers/14...
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 |
Altmetric