分享到:

B级安全的轻量级内核BSK的设计与实现

提出的BSK安全模型是一种达到B级安全的轻量级安全内核模型。BSK对监控器和BLP模型进行扩充,借鉴Mach消息传递机制,采用面向对  (本文共3页) 阅读全文>>

《计算机应用研究》2005年04期
计算机应用研究

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

现代软件系统内核采用面向对象的方法,提供对内核数据结构的保护和隐藏,但是内核的安全性设计始终没有到达理想状态。因此,在面向对象的...  (本文共3页) 阅读全文>>