操作系統(tǒng)的可信內(nèi)核。是實(shí)現(xiàn)訪問監(jiān)控器的一種技術(shù)。不允許有任何繞過安全內(nèi)核存取控制檢查的存取行為存在。
保持自身完整性;程序?qū)Y源的引用應(yīng)得到驗(yàn)證機(jī)制的仲裁;保證引用驗(yàn)證機(jī)制的實(shí)現(xiàn)是正確和符合要求的。