| 操作系统中基于安全封装的访问控制实现方法 |
| |
| 引用本文： | 刘毅,李瑜.操作系统中基于安全封装的访问控制实现方法[J].信息网络安全,2012(12):4-7. |
| |
| 作者姓名： | 刘毅 李瑜 |
| |
| 作者单位： | 海军计算技术研究所;国家保密科技测评中心测评部 |
| |
| 摘 要： | 针对敏感客体的访问控制问题,文章提出了操作系统中基于安全封装的访问控制实现方法。设计了针对敏感客体访问的统一访问接口,定义了相关接口,描述了访问接口的通信协商过程;提出了类C权限描述语言,给出了该语言的形式化描述及谓词含义;基于程序调用栈,实现了程序状态与权限调用的绑定。最终,实现了对系统中敏感客体的安全访问控制。
|
| 关 键 词： | 访问控制 安全封装 权限控制 操作系统 |
Access Control Implementation Method based on Encapsulation in Operating System |
| |
| LIU Yi,LI Yu.Access Control Implementation Method based on Encapsulation in Operating System[J].Netinfo Security,2012(12):4-7. |
| |
| Authors: | LIU Yi LI Yu |
| |
| Affiliation: | 1.Naval Institute of Computing Technology,Beijing 100841,China;2.Evaluation Department,National Secrecy Science and Technology Evaluation Center,Beijing 100044,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
|
