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