A Bisimulation Method for Cryptographic Protocols (1998)

View PDF

Download Links

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