计算机操作系统隐蔽通道的有效标识方法

摘要

介绍了关于安全操作系统的一个重要问题——隐蔽通道的标识。针对某些操作系统规范的分析资源不易获得、及时性差的问题,以及隐蔽通道传统的标识方法工作量过大、标识隐蔽通道效率低等问题,给出了采用共享资源矩阵法对操作系统描述性顶层规范(DTLS)进行分析的标识方法。其特点是描述性顶层规范越详细,隐蔽通道标识的效率就越高,有效地减小了隐蔽通标识的工作量,提高了标识效率,并解决了分析资源不易获得、及时性差带来的隐蔽通道标识困难的问题。