セキュアOS
出典: フリー百科事典『ウィキペディア（Wikipedia）』
セキュアOS（Secure OS）とは、セキュリティを強化したオペレーティングシステムのことである。厳密な定義は存在していないが、強制アクセス制御(Mandatory Access Control:MAC)機能及び、最少特権を実現する機能を備えたものをそう呼ぶことが一般的である。
セキュアOSは、その誕生の歴史を遡ると1970年代に考案されたTrusted Operating Systemに辿り着く。日本におけるセキュアOSは強制アクセス制御と最少特権にフォーカスされているが、本来はすべてのプロセスにおける資源に対するアクセスを仲裁する抽象的なマシンを意味するリファレンスモニター[1]（セキュアOSにおけるOSカーネルと捉えると理解が容易であろう）に注目すべきであり、このリファレンスモニターを実現するために強制アクセス制御や特権制御（最少特権は、特権制御機能の一部）が求められている。
リファレンスモニターには「利用する資源へのアクセスが迂回不可能なこと」「資源が改ざんできないこと」「資源が安全であることが証明できること」の３つが求められており、典型例としてはマイクロカーネルが該当すると言われている。このリファレンスモニターを含めて信頼できるコンピュータ処理基盤（ドライバ、ファームウェア、マイクロプロセッサを含めて）をTCB(Trusted Computing base)と呼ぶ。セキュアOSはTCBを構成しようとする時に不可欠な部分（カーネル）を提供する。
米国においては大学の講義でTrusted Operating Sysytemデザインというコースも存在するなど、情報を得る機会が多いのに比べて日本ではまだ正確な情報が殆ど存在しない（裏を返せば日本語の情報が少ないだけで、英語での情報は得られやすいということでもあるが）。
Trusted Opereating Sysytemが各国の政府や軍需産業界が要求していたのと同じく、セキュアOSも各国の政府や軍需産業界で要求されているが、2000年から米国国防総省が複数のオープンソース団体に経済的な支援を始めた結果、急速に開発が進んでいる。
なお、日本政府を中心として、仮想マシン技術をベースとした実装を模索する動きがある。
[編集] 名称
日本語ではセキュアOSと呼ばれることがほとんどであり、セキュアオペレーティングシステムはほとんど使われていない。英語においては、secure operating systemは不適切とされており、security focused operating system もしくはsecurity-evaluated operating systemが推奨されている。
[編集] 実装
いくつかのLinuxディストリビューションがこのような用途向けにつくられている。商用では軍事レベルにも対応しているTrusted Solaris、Trusted IRIX、STOP OS、PitBull FSなどがある。
[編集] Linux上での実装
 |
この「セキュアOS」は、コンピュータに関連した書きかけです。この記事を加筆して下さる人を求めています。（Portal:コンピュータ） |
