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