Silvia Crafa, Sabina Rossi. P-congruences as non-interference for the pi-calculus. In Marianne Winslett, Andrew D. Gordon, David Sands, editors, Proceedings of the 2006 ACM workshop on Formal methods in security engineering, FMSE 2006, Alexandria, VA, USA, November 3, 2006. pages 13-22, ACM, 2006. [doi]
Abstract is missing.