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

摘要：

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

关键词：角色、完整级、完整性控制、安全模型、操作系统

所属期刊栏目：37

分类号：TP309(计算技术、计算机技术)

资助基金：国家863项目2006AA01Z406

在线出版日期：2010-04-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：87-90,210