| B级安全的轻量级内核BSK的设计与实现 |
| |
| 引用本文： | 冷健,谢冬青.B级安全的轻量级内核BSK的设计与实现[J].计算机工程,2006,32(5):125-127. |
| |
| 作者姓名： | 冷健 谢冬青 |
| |
| 作者单位： | 1. 湖南大学计算机与通信学院,长沙,410012
2. 湖南大学计算机与通信学院,长沙,410012;中国科学院软件所计算机科学重点实验室,北京,100081 |
| |
| 摘 要： | 提出的BSK安全模型是一种达到B级安全的轻量级安全内核模型。BSK对监控器和BLP模型进行扩充，借鉴Mach消息传递机制，采用面向对象机制，提出了基于安全对象的安全对象模型和消息调度模型，并且给出了BSK消息调度算法。消息调度中主体对客体的访问是有状态的，通过安全检测的访问路由信息存放于缓冲器中，避免过多的安全判定对性能的损失。
|
| 关 键 词： | 监控器模型 安全容器 安全对象代理 |
| 文章编号： | 1000-3428（2006）05-0125-03 |
| 收稿时间： | 2005-03-01 |
| 修稿时间： | 2005-03-01 |
Design and Implementation of Lightweight B-level Security Kernel |
| |
| LENG Jian,XIE Dongqing.Design and Implementation of Lightweight B-level Security Kernel[J].Computer Engineering,2006,32(5):125-127. |
| |
| Authors: | LENG Jian XIE Dongqing |
| |
| Abstract: | This paper presents a model for the lightweight security kernel using B-level security.This model of B-level security kernel(BSK) is used to highlight security level in the traditional reference monitor model and Bell-Lapadula model.BSK presents security object notation based three classes of object and message dispatch model.Finally,it presents the BSK message dispatch algorithm.A message dispatch targeted for class B1 or above must enforce performance adopting a route cache policy over all subjects and objects it controls. |
| |
| Keywords: | BLP BSK |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
