Security protocol specification and verification with AnBx /
Bugliesi, Michele,author.
Calzavara, Stefano,author.
Mödersheim, Sebastian,author.
Modesti, Paolo,author.
University of Newcastle upon Tyne.School of Computing Science.
Title from cover.
"August 2015".