Efficient Java code generation of security protocols specified in AnB/AnBx /
Modesti, Paolo.
University of Newcastle upon Tyne.School of Computing Science.
Caption title.
"May 2014."