Context-Sensitive Equivalences for Non-interference Based Protocol Analysis. - Michele Bugliesi; Ambra Ceccato; Sabina Rossi (FCT, 2003)