Hiroshi Yoshiura Kunihiko Miyazaki Shinji Itoh Kazuo Takaragi Ryôichi Sasaki A Multi-OS Approach to Trusted Computer Systems. 107-114 2001 conf/spw/2001 Security Protocols Workshop http://link.springer.de/link/service/series/0558/bibs/2467/24670107.htm db/conf/spw/spw2001.html#YoshiuraMITS01