安全操作系统隐蔽通道标识方法的研究

摘要：

本文首先对隐蔽通道的标识方法进行了深入分析和研究。在此基础上,就基于源代码的隐蔽通道自动化标识过程及算法展开讨论,以试图克服操作系统隐蔽通道标识复杂繁琐且工作量巨大的问题。具体而言,首先构建信息流分析自动化工具和获取相关共享变量关于可见性和可修改性等基本属性,进而输入到共享资源矩阵分析模块和标识出系统中潜在的隐蔽通道。有关方法及实验原型即将用于基于SELinux的安全操作系统的隐蔽通道分析过程中。

关键词： 安全操作系统 隐蔽通道 隐蔽通道标识 信息流树 共享资源矩阵法

作者: 王瑞昌 翟高寿

作者单位: 北京交通大学计算机与信息技术学院,100044

会议类型: 国内会议

会议名称: 第十七届全国信息保密学术会议

会议地点: 湖北襄樊

会议语种:中文

页码: 213-220

在线出版日期: 2007-09-01（万方平台首次上网日期，不代表论文的发表时间）