计算机科学 ›› 2010, Vol. 37 ›› Issue (1): 87-90.
• 计算机网络与信息安全 • 上一篇 下一篇
刘尊,王涛,李伟华
出版日期:
发布日期:
基金资助:
LIU Zun,WANG Tao,LI Wei-hua
Online:
Published:
摘要: 完整性是操作系统的安全目标之一。分析了安全操作系统的完整性保护策略,详细说明了用户职责和进程可信度是决定系统中用户、进程和文件完整级的重要因素。提出了一个完整性控制模型,该模型使用角色来简化对用户完整级的管理。分别给出了模型的完整性公理、模型元素、系统状态的定义、系统设置方法和以及状态转换规则,并对模型进行了正确性证明,最后介绍了模型的应用实例和实现方法。
关键词: 角色,完整级,完整性控制,安全模型,操作系统
Abstract: Integrity is one of the security objectives of operating system. This paper analysed the integrity protection policies of security operating system, and elaborated user responsibility and process reliability arc important factors in determining the integrity level of the users,the processes and the files in operating system. Then we proposed an integrity control model with detailed description of its integrity axiom, model elements, system states, system configurations and state transition rules. The model employs roles to simplify user integrity management. The correctness of given model was proven. The application case and implementation method were given at the end of the paper.
Key words: Role, Integrity level, Integrity control, Security model, Operating system
刘尊,王涛,李伟华. 基于角色的操作系统完整性控制模型[J]. 计算机科学, 2010, 37(1): 87-90. https://doi.org/
LIU Zun,WANG Tao,LI Wei-hua. Role Based Integrity Control Model for Operating System[J]. Computer Science, 2010, 37(1): 87-90. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2010/V37/I1/87
Cited