37_05.dvi情報処理学会論文誌 コンピューティングシステム Vol.5 No.2 51–62 (Mar. 2012) 情報セキュリティ向上に向けた OS 研究の動向 橋本 正樹1,a) 安藤 類央1,2 前田 俊行3 田中 英彦1 受付日 2011年7月19日, 採録日 2011年12月9日 概要：近年，情報システムが社会基盤化しているため，そのセキュリティ耐性向上が急務であるが，一方 で，セキュリティ・インシデントの発生数は年々増加している現実がある．本稿では，情報セキュリティ を担保する最も基礎的なソフトウェアとして OS を位置付け，参照モニタの設計要件と対応付けながら， 特に，仮想化技術，OS プログラムの検証技術，アクセス制御技術に焦点をあてて近年の研究動向を紹介す る．また，各技術について，今後の展望と課題を整理する． キーワード：オペレーティングシステム，仕様記述・仕様検証，
