达到B级安全的PMI研究与设计-计算机应用研究.PDFVIP

第 4 期 冷 健等: 达到 B 级安全的 PMI 研究与设计 ·47 · 达到 B 级安全的 PMI 研究与设计 * 1 1 , 2 冷 健 , 谢冬青 ( 1. 湖南大学 计算机与通信学院, 湖南 长沙 410012; 2. 中国科学院 软件所 计算机科学重点实验室, 北京 100081) 摘 要: 现代软件系统内核采用面向对象的方法, 提供对内核数据结构的保护和隐藏 , 但是内核的安全性设计 始终没有到达理想状态。因此 , 在面向对象的内核设计中引入安全内核模型可以改善内核设计的安全性问题。 提出的 BSK 安全模型是一种达到 B 级安全的轻量级安全内核模型, 并且将 BSK 内核应用于 PMI 体系结构设计 中, 设计和实现了达到 B 级安全的 PMI 。 关键词: 监控器模型 ; 授权管理基础设施 ;