Context-Sensitive Equivalences for Non-interference Based Protocol Analysis.

Michele Bugliesi, Ambra Ceccato, Sabina Rossi

Browse the full FCT paper archive.