在上世纪七十年代以前,为保证计算机系统中的信息安全性,自主存取控制和强制存取控制策略在计算机多安全级系统中得到了广泛的应用。然而,实施了这两种策略后的计算机系统仍然存在着安全隐患,其中就包括隐通道问题。 本文在综述隐通道分析方法和目前研究现状的基础上,解决了系统:源代码中信息流分析工作的自动化进行问题,并与课题组已经开发的共享资源矩阵搜索方法相结合,提出了实现一个基于系统源代码的隐通道搜索工具的研究思想。 论文首先讨论了隐通道的形式化定义:然后给出了基于系统源代码的信息流自动分析工具和隐通道搜索工具的设计方案;接下来详细讨论信息流分析工具的设计,为实现信息流分析的自动化,提出了一种用于描述信息流的二叉树结构,并给出了这种信息流树的构造规则和保证树中信息流准确无误的剪枝算法描述,设计并实现了利用此树进行信息流分析并生成记录分析结果的信息流向图的算法;接着,给出了信息流树构造算法和用作隐通道搜索方法输入的共享资源矩阵的生成算法,并以此为基础,详细讨论了基于系统源代码的隐通道搜索工具的设计与实现;最后,结合一个分析实例来说明基于系统源代码的隐通道搜索工具的实际应用情况。 论文的主要贡献点在于: 1.提出了一套用树结构来描述系统源代码中信息流的方法,并构造出了这种便于存放信息流且易于实现的信息流树。该树结构可以反映语句及函数中的信息流,并可通过遍历树将这些信息存放在直观、易于理解的信息流向图中,从而可以方便地为隐通道搜索方法提供信息流分析结果。 2.设计并实现了一个基于系统源代码的隐通道搜索工具。该工具以系统源代码为输入,以隐蔽通道序列为输出,从而实现了隐通道搜索工作的自动化。