图灵四级安全操作系统隐蔽通道分析研究

• 作者: 平玲娣 潘雪增 陆连浩
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 增强改进型语义信息流法 隐蔽通道分析 图灵四级安全操作系统 存储隐蔽通道
• 年，卷（期）: 2006,（21）
• 所属期刊栏目: 安全技术
• 页码范围: 157-159
• 页数: 3页
• 分类号: TP3
• 字数: 4845字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.21.054

摘要

对图灵四级安全操作系统隐蔽通道进行了分析研究,提出了新的隐蔽通道分析方法--增强改进型语义信息流法.该方法具有工作量小、源代码级分析、能排除伪结果、帮助对隐蔽通道进行后续处理等优点.采用该方法对图灵四级安全操作系统隐蔽通道进行了标识,对隐蔽通道带宽进行了计算,并根据不同的安全策略对隐蔽通道进行了适当的处理.其分析结果达到了相关国家标准中第4级安全操作系统的规定.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	平玲娣	浙江大学计算机科学与技术学院	72	1386	15.0	36.0
2	潘雪增	浙江大学计算机科学与技术学院	89	1318	17.0	34.0
3	陆连浩	浙江大学计算机科学与技术学院	1	2	1.0	1.0