保持自身完整性;程序?qū)Y源的引用應得到驗證機制的仲裁;保證引用驗證機制的實現(xiàn)是正確和符合要求的。
Tmach/ASOS/SOFTOS等。
操作系統(tǒng)源代碼中內(nèi)置了特定的安全策略,通過一些設置,使操作系統(tǒng)更安全。