Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi. Information Flow Security and Recursive Systems. In Carlo Blundo, Cosimo Laneve, editors, Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings. Volume 2841 of Lecture Notes in Computer Science, pages 369-382, Springer, 2003. [doi]
Abstract is missing.