首页 | 本学科首页   官方微博 | 高级检索  
     

基于角色的操作系统完整性控制模型
引用本文:刘尊,王涛,李伟华.基于角色的操作系统完整性控制模型[J].计算机科学,2010,37(1):87-90.
作者姓名:刘尊  王涛  李伟华
作者单位:西北工业大学计算机学院,西安,710072
基金项目:国家863项目(2006AA01Z406)资助
摘    要:完整性是操作系统的安全目标之一。分析了安全操作系统的完整性保护策略,详细说明了用户职责和进程可信度是决定系统中用户、进程和文件完整级的重要因素。提出了一个完整性控制模型,该模型使用角色来简化对用户完整级的管理。分别给出了模型的完整性公理、模型元素、系统状态的定义、系统设置方法和以及状态转换规则,并对模型进行了正确性证明,最后介绍了模型的应用实例和实现方法。

关 键 词:角色  完整级  完整性控制  安全模型  操作系统  
收稿时间:2009/2/20 0:00:00
修稿时间:2009/4/23 0:00:00

Role Based Integrity Control Model for Operating System
LIU Zun,WANG Tao,LI Wei-hua.Role Based Integrity Control Model for Operating System[J].Computer Science,2010,37(1):87-90.
Authors:LIU Zun  WANG Tao  LI Wei-hua
Affiliation:School of Computer/a>;Northwestern Polytechnical University/a>;Xi'an 710072/a>;China
Abstract:
Keywords:Role  Integrity level  Integrity control  Security model  Operating system  
本文献已被 CNKI 万方数据 等数据库收录!
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号