Probabilistic bisimulation and equivalence for security analysis of network protocols (0)

by Ajith Ramanathan, John C Mitchell, Andre Scedrov, Vanessa Teague
Venue:In FOSSACS 2004, 2004. Summarizes results in [23