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

摘要：

提出的BSK安全模型是一种达到B级安全的轻量级安全内核模型.BSK对监控器和BLP模型进行扩充,借鉴Mach消息传递机制,采用面向对象机制,提出了基于安全对象的安全对象模型和消息调度模型,并且给出了BSK消息调度算法.消息调度中主体对客体的访问是有状态的,通过安全检测的访问路由信息存放于缓冲器中,避免过多的安全判定对性能的损失.

关键词：监控器模型、BLP、BSK、安全容器、安全对象代理

所属期刊栏目：32

分类号：TP309(计算技术、计算机技术)

资助基金：中国科学院资助项目60373085

在线出版日期：2006-04-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：125-127