DMCA

Static validation of security protocols (2005)

by Chiara Bodei , Mikael Buchholtz , Pierpaolo Degano , Flemming Nielson , Hanne Riis Nielson
Venue:Journal of Computer Security
Citations:49 - 15 self