文件名称：论文研究-达到B级安全的PMI研究与设计*.pdf
文件大小：177KB
文件格式：PDF
更新时间：2022-08-11 12:04:52
监控器模型,授权管理基础设施,安全域,安全对象代理
现代软件系统内核采用面向对象的方法, 提供对内核数据结构的保护和隐藏, 但是内核的安全性设计始终没有到达理想状态。因此, 在面向对象的内核设计中引入安全内核模型可以改善内核设计的安全性问题。提出的BSK 安全模型是一种达到B 级安全的轻量级安全内核模型, 并且将BSK 内核应用于PMI 体系结构设计中, 设计和实现了达到B 级安全的PMI 。