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

Research on Covert Channel Analysis in Tuling SecOS2.0/4

作　　者：陆连浩[1] 平玲娣[1] 潘雪增[1] 

机构地区：[1]浙江大学计算机科学与技术学院,杭州310027

出　　处：《计算机工程》2006年第21期157-159,共3页Computer Engineering

基　　金：国家科技型中小企业技术创新基金资助项目"图灵GB17859-1999第4级高安全服务器网络操作系统"(04C26223300568)

摘　　要：对图灵四级安全操作系统隐蔽通道进行了分析研究,提出了新的隐蔽通道分析方法——增强改进型语义信息流法。该方法具有工作量小、源代码级分析、能排除伪结果、帮助对隐蔽通道进行后续处理等优点。采用该方法对图灵四级安全操作系统隐蔽通道进行了标识,对隐蔽通道带宽进行了计算,并根据不同的安全策略对隐蔽通道进行了适当的处理。其分析结果达到了相关国家标准中第4级安全操作系统的规定。The research of covert channel analysis on Tuling SecOS2.0/4 is reported. A new covert channel identification method-modified semantic information flow method is proposed. It has less workload, can directly analyze the source code and exclude the false result, also helps the covert channel handling. It uses this method to identify the cover channels of the Tuling SecOS, computes the handwidths accurately, and handles the covert channels according to different security policies. The result shows conform to the requirement of Level 4 security operating system in relevant national standards.

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

分 类 号：TP316[自动化与计算机技术—计算机软件与理论]