セキュアOS
セキュアOS(Secure OS)とは、セキュリティを強化したオペレーティングシステムのことである。厳密な定義は存在していないが、強制アクセス制御(Mandatory Access Control:MAC)機能及び、最小特権を実現する機能を備えたものをそう呼ぶことが一般的である。
セキュアOSは、その誕生の歴史を遡ると1970年代に考案されたTrusted operating systemに辿り着く。日本におけるセキュアOSは強制アクセス制御と最少特権にフォーカスされているが、本来はすべてのプロセスにおける資源に対するアクセスを仲裁する抽象的なマシンを意味するリファレンスモニター(セキュアOSにおけるOSカーネルと捉えると理解が容易であろう)に注目すべきであり、このリファレンスモニターを実現するために強制アクセス制御や特権制御(最小特権は、特権制御機能の一部)が求められている。
リファレンスモニターには「利用する資源へのアクセスが迂回不可能なこと」「それ自身が改ざんできないこと」「実装が十分にシンプルで安全であることが証明できること」の3つが求められており、典型例としてはマイクロカーネルが該当すると言われている。