Michael O. Rabin, J. D. Tygar. ITOSS: An Integrated Toolkit For Operating System Security. In Witold Litwin, Hans-Jörg Schek, editors, Foundations of Data Organization and Algorithms, 3rd International Conference, FODO 1989, Paris, France, June 21-23, 1989, Proceedings. Volume 367 of Lecture Notes in Computer Science, pages 2-15, Springer, 1989.
Abstract is missing.