Institutional Repository
| B级安全的轻量级内核BSK的设计与实现 | |
| Alternative Title | design and implementation of lightweight b-level security kernel |
| 冷健; 谢冬青 | |
| 2006 | |
| Source | 计算机工程
 |
| ISSN | 1000-3428 |
| Volume | 32Issue:5Pages:125-127 |
| English Abstract | 提出的BSK安全模型是一种达到B级安全的轻量级安全内核模型.BSK对监控器和BLP模型进行扩充,借鉴Mach消息传递机制,采用面向对象机制,提出了基于安全对象的安全对象模型和消息调度模型,并且给出了BSK消息调度算法.消息调度中主体对客体的访问是有状态的,通过安全检测的访问路由信息存放于缓冲器中,避免过多的安全判定对性能的损失. |
| Indexed Type | wanfang ; cnki |
| Keyword | 监控器模型 Blp Bsk 安全容器 安全对象代理 安全对象 轻量级 内核模型 设计 消息调度 消息传递机制 面向对象机制 路由信息 对象模型 调度算法 调度模型 安全判定 安全模型 安全检测 有状态 监控器 缓冲器 性能 扩充 客体 |
| Department | 湖南大学计算机与通信学院,长沙,410012;湖南大学计算机与通信学院,长沙,410012;中国科学院软件所计算机科学重点实验室,北京,100081 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/11456 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| B级安全的轻量级内核BSK的设计与实现.（381KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment