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

摘要

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