| B级安全的轻量级内核BSK的设计与实现 |
| 其他题名 | design and implementation of lightweight b-level security kernel
|
| 冷健; 谢冬青
|
| 2006
|
| 发表期刊 | 计算机工程
 |
| ISSN | 1000-3428
|
| 卷号 | 32期号:5页码:125-127 |
| 摘要 | 提出的BSK安全模型是一种达到B级安全的轻量级安全内核模型.BSK对监控器和BLP模型进行扩充,借鉴Mach消息传递机制,采用面向对象机制,提出了基于安全对象的安全对象模型和消息调度模型,并且给出了BSK消息调度算法.消息调度中主体对客体的访问是有状态的,通过安全检测的访问路由信息存放于缓冲器中,避免过多的安全判定对性能的损失. |
| 收录类别 | wanfang
; cnki
|
| 关键词 | 监控器模型
Blp
Bsk
安全容器
安全对象代理
安全对象
轻量级
内核模型
设计
消息调度
消息传递机制
面向对象机制
路由信息
对象模型
调度算法
调度模型
安全判定
安全模型
安全检测
有状态
监控器
缓冲器
性能
扩充
客体
|
| 部门归属 | 湖南大学计算机与通信学院,长沙,410012;湖南大学计算机与通信学院,长沙,410012;中国科学院软件所计算机科学重点实验室,北京,100081
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/11458
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
冷健,谢冬青. B级安全的轻量级内核BSK的设计与实现[J]. 计算机工程,2006,32(5):125-127.
|
| APA |
冷健,&谢冬青.(2006).B级安全的轻量级内核BSK的设计与实现.计算机工程,32(5),125-127.
|
| MLA |
冷健,et al."B级安全的轻量级内核BSK的设计与实现".计算机工程 32.5(2006):125-127.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论