A Bisimulation Method for Cryptographic Protocols (1998)

by Martín Abadi , Andrew D. Gordon
Citations:79 - 5 self