Context-sensitive equivalences for non-interference based protocol analysis (2003)

by M Bugliesi, A Ceccato, S Rossi
Venue:In Fundamentals of Computation Theory, 14th International Symposium