ISCAS OpenIR
B级安全的轻量级内核BSK的设计与实现
其他题名design and implementation of lightweight b-level security kernel
冷健; 谢冬青
2006
发表期刊计算机工程
ISSN1000-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.
条目包含的文件
文件名称/大小 文献类型 版本类型 开放类型 使用许可
B级安全的轻量级内核BSK的设计与实现.(381KB) 开放获取--请求全文
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[冷健]的文章
[谢冬青]的文章
百度学术
百度学术中相似的文章
[冷健]的文章
[谢冬青]的文章
必应学术
必应学术中相似的文章
[冷健]的文章
[谢冬青]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。