Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols.

Ajith Ramanathan, John C. Mitchell, Andre Scedrov, Vanessa Teague

Browse the full FOSSACS paper archive.