B级安全的轻量级内核BSK的设计与实现
文献类型：期刊论文
| 作者 | 冷健 ; 谢冬青 |
| 刊名 | 计算机工程
 |
| 出版日期 | 2006 |
| 卷号 | 32期号:5页码:125-127 |
| 关键词 | 监控器模型 BLP BSK 安全容器 安全对象代理 安全对象 轻量级 内核模型 设计 消息调度 消息传递机制 面向对象机制 路由信息 对象模型 调度算法 调度模型 安全判定 安全模型 安全检测 有状态 监控器 缓冲器 性能 扩充 客体 |
| ISSN号 | 1000-3428 |
| 其他题名 | design and implementation of lightweight b-level security kernel |
| 中文摘要 | 提出的BSK安全模型是一种达到B级安全的轻量级安全内核模型.BSK对监控器和BLP模型进行扩充,借鉴Mach消息传递机制,采用面向对象机制,提出了基于安全对象的安全对象模型和消息调度模型,并且给出了BSK消息调度算法.消息调度中主体对客体的访问是有状态的,通过安全检测的访问路由信息存放于缓冲器中,避免过多的安全判定对性能的损失. |
| 收录类别 | wanfang ; cnki |
| 语种 | 中文 |
| 公开日期 | 2011-07-13 |
| 源URL | [http://124.16.136.157/handle/311060/11460]  |
| 专题 | 软件研究所_软件所图书馆_期刊论文 |
| 推荐引用方式 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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。