3 works on record
Formal Correctness of Security Protocols (Information Security and Cryptography)
Formal Correctness of Security Protocols
Innovative Security Solutions for Information Technology and Communications