| 达到B级安全的PMI研究与设计* |
| |
| 引用本文： | 冷健,谢冬青,.达到B级安全的PMI研究与设计*[J].计算机应用研究,2005,22(4):47-48. |
| |
| 作者姓名： | 冷健 谢冬青 |
| |
| 作者单位： | （1.湖南大学 计算机与通信学院，湖南 长沙 410012；2.中国科学院 软件所 计算机科学重点实验室，北京 100081） |
| |
| 基金项目： | 国家自然科学基金资助项目(60373085) |
| |
| 摘 要： | 现代软件系统内核采用面向对象的方法, 提供对内核数据结构的保护和隐藏, 但是内核的安全性设计始终没有到达理想状态。因此, 在面向对象的内核设计中引入安全内核模型可以改善内核设计的安全性问题。提出的BSK 安全模型是一种达到B 级安全的轻量级安全内核模型, 并且将BSK 内核应用于PMI 体系结构设计中, 设计和实现了达到B 级安全的PMI 。
|
| 关 键 词： | 监控器模型 授权管理基础设施 安全域 安全对象代理 |
Design and Implementation of PMI Based on B-level Security |
| |
| LENG Jian,XIE Dong-qing.Design and Implementation of PMI Based on B-level Security[J].Application Research of Computers,2005,22(4):47-48. |
| |
| Authors: | LENG Jian XIE Dong-qing |
| |
| Abstract: | The kernel of large-scale software is Object-Oriented and provides protection and concealment to kernel data struc-tures. But the kernel security can not be perfect. The security kernel model can improves kernel security. Presents a model for the lightweight security kernel using B-level security. This model B-level Security Kernel ( BSK) is used to highlight security level in the design of PMI architecture. |
| |
| Keywords: | |
|
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
