基于轻量级虚拟化环境的可信多级安全容器机制

• 作者: 吉晨 戴明 李晓勇 石勇
• 来源期刊: 计算机应用研究
• 关键词: 多级安全 虚拟化 形式化 安全策略
• 年，卷（期）: 2017,（6）
• 所属期刊栏目: 信息安全技术
• 页码范围: 1770-1773
• 页数: 4页
• 分类号: TP309.2
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2017.06.037

摘要

传统的多级安全机制在实现时一般需要依赖安全操作系统,但最终证明这些多级安全系统在实际应用方面并不成功.针对目前多级安全机制实用性差的问题,提出一种基于轻量级虚拟化环境的可信多级安全容器机制.首先对系统安全域进行划分,提出一套多级安全策略规则;然后通过形式化方法证明其符合多级安全要求;最后通过联合文件系统技术和容器技术说明该机制的技术可行性,并对应用场景给出了说明.结果表明,该方法实现简单,应用范围广,可以有效改善多级安全机制实用性差的问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李晓勇	北京交通大学计算机与信息技术学院	28	316	9.0	17.0
2	石勇	北京交通大学计算机与信息技术学院	10	104	5.0	10.0
3	戴明		16	50	4.0	6.0
4	吉晨	北京交通大学计算机与信息技术学院	2	11	2.0	2.0