1. 解放军信息工程大学电子技术学院,河南,郑州,450004
2. 上海中标软件有限公司,上海,200120
3. 解放军信息工程大学电子技术学院河南郑州,450004
4. 上海中标软件有限公司上海,200120
纸质出版:2007
移动端阅览
刘文清, 韩乃平, 陈. 一个安全操作系统SLinux隐蔽通道标识与处理[J]. 电子学报, 2007,35(1):153-156.
LIU Wen-qing, HAN Nai-ping, CHEN Zhe. Identifying and Dealing with Covert Channel of the Secure OS-SLinux[J]. Acta Electronica Sinica, 2007, 35(1): 153-156.
标识与处理隐蔽通道是美国橘皮书TCSEC对B2及以上级别安全产品的关键评估要求
也是国际标准CC评估EAL5及以上系统的关键指标.本文基于安全操作系统SLinux的设计开发实践
给出一个安全系统隐蔽通道的标识方案、分析流程、分析结果
论述了隐蔽通道带宽计算的关键点
探讨了隐蔽通道标识与处理方案.
Recognizing and dealing with covert channel is the key requirement of TCSEC to evaluate the B2 or above products
as well as the key requirement of international standard CC to evaluate the EAL5 or above products.Now covert channel analysis is the main bottleneck of development of security information system with high security level.Based on the secure OS(SLinux) designing and implementing
this paper emphasis describes the identification processing
mainstream methods
bandwidth computation and analysis report of covert channel.It can give important edification on advanced secure information system research.
0
浏览量
1147
下载量
7
CSCD
关联资源
相关文章
相关作者
相关机构
京公网安备11010802024621