UNIX系统隐蔽存储通道审计的设计与实现

隐蔽存储通过首审计是操作系统达到ＴＣＳＥＣＢ２安全级以上的重要评估指标之定，也是系统最难解决的技术问题，该文描述了隐通道审计要求及其在ＵＮＩＸ系统中的设计与实现方法。

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

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