A Bisimulation Method for Cryptographic Protocols (1998)

by Martín Abadi , Andrew D. Gordon
Citations:91 - 6 self