Information Flow Security and Recursive Systems

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.