基于角色操作系统完整性控制模型.pdfVIP

第37卷第1期 计算机科学 V01．37No．1 2010 Science Jan 2010年1月 Computer 基于角色的操作系统完整性控制模型 刘尊王涛李伟华 (西北工业大学计算机学院 西安710072) 摘要 完整性是操作系统的安全目标之一。分析了安全操作系统的完整性保护策略，详细说明了用户职责和进程 可信度是决定系统中用户、进程和文件完整级的重要因素。提出了一个完整性控制模型，该模型使用角色来简化对用 户完整级的管理。分另U给出了模型的完整性公理、模型元素、系统状态的定义、系统设置方法和以及状态转换规则，并 对模型进行了正确性证明。最后分绍了模型的应用实例和实现方法。 关键词 角色，