高安全级信息系统中的特权控制机制及其模型研究
文献类型:会议论文
作者 | 陈亚莎 ; 赵勇 ; 刘燕 ; 沈昌祥 |
出版日期 | 2011 |
会议名称 | 2011年第五届中国可信计算与信息安全学术会议(CTCIS2011) |
会议日期 | 2011 |
会议地点 | 贵阳 |
关键词 | 特权管理 形式化描述 安全模型 |
页码 | 57-60 |
中文摘要 | 为满足高安全级信息系统最小特权需求,提出一种强制访问控制模型EPMM。该模型采用三权分立机制对系统中的特权管理进行改进,将原有的超级用户划分为系统管理员、安全管理员和审计管理员,将其中任一个管理员的权限控制在其职责范围内。建立了模型公理系统并对主要定理进行了证明,使非法用户或异常操作对系统所造成的损失降为最小。 |
收录类别 | WANFANG |
会议主办者 | 中国计算机学会 |
语种 | 中文 |
源URL | [http://ir.iscas.ac.cn/handle/311060/16362] ![]() |
专题 | 软件研究所_软件所图书馆_会议论文 |
推荐引用方式 GB/T 7714 | 陈亚莎,赵勇,刘燕,等. 高安全级信息系统中的特权控制机制及其模型研究[C]. 见:2011年第五届中国可信计算与信息安全学术会议(CTCIS2011). 贵阳. 2011. |
入库方式: OAI收割
来源:软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。