Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols (2004)

by A. Ramanathan , J. Mitchell , A. Scedrov , V. Teague
Venue:In FOSSACS 2004 - Foundations of Software Science and Computation Structures
Citations:24 - 9 self