| 高安全级信息系统中的特权控制机制及其模型研究 |
| 陈亚莎; 赵勇; 刘燕; 沈昌祥
|
| 2011
|
| 发表期刊 | 山东大学学报(理学版)
 |
| 期号 | 9页码:57-60 |
| 摘要 | 为满足高安全级信息系统最小特权需求,提出一种强制访问控制模型EPMM。该模型采用三权分立机制对系统中的特权管理进行改进,将原有的超级用户划分为系统管理员、安全管理员和审计管理员,将其中任一个管理员的权限控制在其职责范围内。建立了模型公理系统并对主要定理进行了证明,使非法用户或异常操作对系统所造成的损失降为最小。 |
| 关键词 | 特权管理
形式化描述
安全模型
|
| 部门归属 | 海军工程大学电气与信息工程学院;中国科学院软件研究所信息安全国家重点实验室;北京工业大学计算机学院
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/13953
|
| 专题 | 信息安全国家重点实验室
|
推荐引用方式
GB/T 7714 |
陈亚莎,赵勇,刘燕,等. 高安全级信息系统中的特权控制机制及其模型研究[J]. 山东大学学报(理学版),2011(9):57-60.
|
| APA |
陈亚莎,赵勇,刘燕,&沈昌祥.(2011).高安全级信息系统中的特权控制机制及其模型研究.山东大学学报(理学版)(9),57-60.
|
| MLA |
陈亚莎,et al."高安全级信息系统中的特权控制机制及其模型研究".山东大学学报(理学版) .9(2011):57-60.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论