论文部分内容阅读
完整性是操作系统的安全目标之一。分析了安全操作系统的完整性保护策略，详细说明了用户职责和进程可信度是决定系统中用户、进程和文件完整级的重要因素。提出了一个完整性控制模型，该模型使用角色来简化对用户完整级的管理。分别给出了模型的完整性公理、模型元素、系统状态的定义、系统设置方法和以及状态转换规则，并对模型进行了正确性证明，最后介绍了模型的应用实例和实现方法。