一个安全操作系统SLinux隐蔽通道标识与处理
Identifying and Dealing with Covert Channel of the Secure OS-SLinux作者机构:解放军信息工程大学电子技术学院河南郑州450004 上海中标软件有限公司上海200120
出 版 物:《电子学报》 (Acta Electronica Sinica)
年 卷 期:2007年第35卷第1期
页 面:153-156页
核心收录:
学科分类:080903[工学-微电子学与固体电子学] 0809[工学-电子科学与技术(可授工学、理学学位)] 08[工学] 080501[工学-材料物理与化学] 0805[工学-材料科学与工程(可授工学、理学学位)] 080502[工学-材料学]
摘 要:标识与处理隐蔽通道是美国橘皮书TCSEC对B2及以上级别安全产品的关键评估要求,也是国际标准CC评估EAL5及以上系统的关键指标.本文基于安全操作系统SLinux的设计开发实践,给出一个安全系统隐蔽通道的标识方案、分析流程、分析结果,论述了隐蔽通道带宽计算的关键点,探讨了隐蔽通道标识与处理方案.