Hiroshi Yoshiura. A Multi-OS Approach to Trusted Computer Systems (Transcript of Discussion). In Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe, editors, Security Protocols, 9th International Workshop, Cambridge, UK, April 25-27, 2001, Revised Papers. Volume 2467 of Lecture Notes in Computer Science, pages 115-118, Springer, 2001. [doi]
Abstract is missing.