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

by A Ramanathan, J C Mitchell, A Scedrov, V Teague
Venue:In Proceedings of Foundations of Sotware Science and Computation Structires (FOSSACS), volume 2987 of LNCS