Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi. Transforming Processes to Check and Ensure Information Flow Security. In Hélène Kirchner, Christophe Ringeissen, editors, Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings. Volume 2422 of Lecture Notes in Computer Science, pages 271-286, Springer, 2002. [doi]
Abstract is missing.