Security Protocols and their Properties. (2000)

by Martın Abadi
Venue:Foundations of Secure Computation, NATO Science Series,