| 题名: | B级安全的轻量级内核BSK的设计与实现 |
| 其他题名: | design and implementation of lightweight b-level security kernel
|
| 作者: | 冷健
; 谢冬青
|
| 关键词: | 监控器模型
; BLP
; BSK
; 安全容器
; 安全对象代理
; 安全对象
; 轻量级
; 内核模型
; 设计
; 消息调度
; 消息传递机制
; 面向对象机制
; 路由信息
; 对象模型
; 调度算法
; 调度模型
; 安全判定
; 安全模型
; 安全检测
; 有状态
; 监控器
; 缓冲器
; 性能
; 扩充
; 客体
|
| 刊名: | 计算机工程
|
| 发表日期: | 2006
|
| 卷: | 32, 期:5, 页:125-127 | | 收录类别: | wanfang
; cnki
|
| 部门归属: | 湖南大学计算机与通信学院,长沙,410012;湖南大学计算机与通信学院,长沙,410012;中国科学院软件所计算机科学重点实验室,北京,100081
|
| 摘要: | 提出的BSK安全模型是一种达到B级安全的轻量级安全内核模型.BSK对监控器和BLP模型进行扩充,借鉴Mach消息传递机制,采用面向对象机制,提出了基于安全对象的安全对象模型和消息调度模型,并且给出了BSK消息调度算法.消息调度中主体对客体的访问是有状态的,通过安全检测的访问路由信息存放于缓冲器中,避免过多的安全判定对性能的损失. |
| 语种: | 中文
|
| 内容类型: | 期刊论文
|
| URI标识: | http://ir.iscas.ac.cn/handle/311060/11458
|
| Appears in Collections: | 软件所图书馆_期刊论文
|
| File Name/ File Size |
Content Type |
Version |
Access |
License |
|
|---|
| B级安全的轻量级内核BSK的设计与实现.pdf（381KB） | -- | -- | 限制开放 | -- | 联系获取全文 |
|
| Recommended Citation: | |
冷健,谢冬青. B级安全的轻量级内核BSK的设计与实现[J]. 计算机工程,2006-01-01,32(5):125-127.
|
|
|
