Title: | B级安全的轻量级内核BSK的设计与实现 |
Alternative Title: | design and implementation of lightweight b-level security kernel
|
Author: | 冷健
; 谢冬青
|
Keyword: | 监控器模型
; BLP
; BSK
; 安全容器
; 安全对象代理
; 安全对象
; 轻量级
; 内核模型
; 设计
; 消息调度
; 消息传递机制
; 面向对象机制
; 路由信息
; 对象模型
; 调度算法
; 调度模型
; 安全判定
; 安全模型
; 安全检测
; 有状态
; 监控器
; 缓冲器
; 性能
; 扩充
; 客体
|
Source: | 计算机工程
|
Issued Date: | 2006
|
Volume: | 32, Issue:5, Pages:125-127 | Indexed Type: | wanfang
; cnki
|
Department: | 湖南大学计算机与通信学院,长沙,410012;湖南大学计算机与通信学院,长沙,410012;中国科学院软件所计算机科学重点实验室,北京,100081
|
Abstract: | 提出的BSK安全模型是一种达到B级安全的轻量级安全内核模型.BSK对监控器和BLP模型进行扩充,借鉴Mach消息传递机制,采用面向对象机制,提出了基于安全对象的安全对象模型和消息调度模型,并且给出了BSK消息调度算法.消息调度中主体对客体的访问是有状态的,通过安全检测的访问路由信息存放于缓冲器中,避免过多的安全判定对性能的损失. |
Language: | 中文
|
Content Type: | 期刊论文
|
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.
|
|
|