达到B级安全的PMI研究与设计

作者：冷健; 谢冬青

来源：计算机应用研究, 2005, (04): 47-48+51.

• 监控器模型
• 授权管理基础设施
• 安全域
• 安全对象代理 Reference Monitor
• PMI(Privilege Management Infrastructures)
• Secure Domain
• Secure Object Proxy

现代软件系统内核采用面向对象的方法,提供对内核数据结构的保护和隐藏,但是内核的安全性设计始终没有到达理想状态。因此,在面向对象的内核设计中引入安全内核模型可以改善内核设计的安全性问题。提出的BSK安全模型是一种达到B级安全的轻量级安全内核模型,并且将BSK内核应用于PMI体系结构设计中,设计和实现了达到B级安全的PMI。