| 高安全级信息系统中的特权控制机制及其模型研究 |
| |
| 引用本文： | 陈亚莎,赵勇,刘燕,沈昌祥.高安全级信息系统中的特权控制机制及其模型研究[J].山东大学学报(理学版),2011,46(9):57-60. |
| |
| 作者姓名： | 陈亚莎 赵勇 刘燕 沈昌祥 |
| |
| 作者单位： | 1. 海军工程大学电气与信息工程学院,湖北武汉430033／中国科学院软件研究所信息安全国家重点实验室,北京100049
2. 北京工业大学计算机学院,北京,100124 |
| |
| 基金项目： | 信息安全国家重点实验室开放课题项目 |
| |
| 摘 要： | 为满足高安全级信息系统最小特权需求,提出一种强制访问控制模型EPMM。该模型采用三权分立机制对系统中的特权管理进行改进,将原有的超级用户划分为系统管理员、安全管理员和审计管理员,将其中任一个管理员的权限控制在其职责范围内。建立了模型公理系统并对主要定理进行了证明,使非法用户或异常操作对系统所造成的损失降为最小。
|
| 关 键 词： | 特权管理 形式化描述 安全模型 |
Research on the privilege control mechanism and modeling of a high level information system |
| |
| CHEN Ya-sha,ZHAO Yong,LIU Yan,SHEN Chang-xiang.Research on the privilege control mechanism and modeling of a high level information system[J].Journal of Shandong University,2011,46(9):57-60. |
| |
| Authors: | CHEN Ya-sha ZHAO Yong LIU Yan SHEN Chang-xiang |
| |
| Institution: | CHEN Ya-sha1,3,ZHAO Yong2,LIU Yan2,SHEN Chang-xiang2 (1.Department of Electrical and Information Engineering,Naval University of Engineering,Wuhan 430033,Hubei,China,2.School of Computer,Beijing University of Technology,Beijing 100124,3.State Key Laboratory of Information Security,Institute of Software,Chinese Academy of Science,Beijing 100049,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
