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

摘要：

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

关键词：增强改进型语义信息流法、隐蔽通道分析、图灵四级安全操作系统、存储隐蔽通道

所属期刊栏目：32

分类号：TP3(计算技术、计算机技术)

资助基金：国家科技型中小企业技术创新基金04C26223300568

在线出版日期：2006-12-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：157-159