リファレンスモニターには「利用する資源へのアクセスが迂回不可能なこと」「それ自身が改ざんできないこと」「実装が十分にシンプルで安全であることが証明できること」の3つが求められており、典型例としてはマイクロカーネルが該当すると言われている。