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