参照モニタ（Reference Monitor）の3つの要件に含まれないものはどれか。

参照モニタの要件は、改変不可能、常に呼び出される（バイパス不可）、検証可能（十分に小さい）の3つである。