セキュアOS
このリファレンスモニターを含めて信頼できるコンピュータ処理基盤(ドライバ、ファームウェア、マイクロプロセッサを含めて)をトラステッド・コンピューティング・ベース (Trusted Computing base、TCB)と呼ぶ。セキュアOSはTCBを構成しようとする時に不可欠な部分(カーネル)を提供する。
米国においては大学の講義でTrusted Operating Systemデザインというコースも存在するなど、情報を得る機会が多いのに比べて日本ではまだ正確な情報が殆ど存在しない(裏を返せば日本語の情報が少ないだけで、英語での情報は得られやすいということでもあるが)。
Trusted Operating Systemが各国の政府や軍需産業界が要求していたのと同じく、セキュアOSも各国の政府や軍需産業界で要求されているが、2000年からアメリカ国防総省が複数のオープンソース団体に経済的な支援を始めた結果、急速に開発が進んでいる。
なお、日本政府を中心として、仮想マシン技術をベースとした実装を模索する動きがある。