Close menu

SURE

Sunderland Repository records the research produced by the University of Sunderland including practice-based research and theses.

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 2.

Bugliesi, Michele, Calzavara, Stefano, Mödersheim, Sebastian and Modesti, Paolo (2016) Security Protocol Specification and Verification with AnBx. Journal of Information Security and Applications, 30. pp. 46-63. ISSN 2214-2126

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.

This list was generated on Fri Jun 14 19:58:42 2024 BST.