B级安全的轻量级内核BSK的设计与实现

• 作者: 冷健 谢冬青
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 监控器模型 BLP BSK 安全容器 安全对象代理
• 年，卷（期）: 2006,（5）
• 所属期刊栏目: 安全技术
• 页码范围: 125-127
• 页数: 3页
• 分类号: TP309
• 字数: 4087字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.05.045

摘要

提出的BSK安全模型是一种达到B级安全的轻量级安全内核模型.BSK对监控器和BLP模型进行扩充,借鉴Mach消息传递机制,采用面向对象机制,提出了基于安全对象的安全对象模型和消息调度模型,并且给出了BSK消息调度算法.消息调度中主体对客体的访问是有状态的,通过安全检测的访问路由信息存放于缓冲器中,避免过多的安全判定对性能的损失.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	谢冬青	湖南大学计算机与通信学院	77	488	11.0	17.0
5	冷健	湖南大学计算机与通信学院	9	91	5.0	9.0