[发明专利]一种隐蔽信道标识方法

权利要求书

1.一种隐蔽信道标识方法，以系统源代码为分析对象，包括以下步骤：

1)将隐蔽信道形式化表述为<V，PA_h，PV_l，P>，其中：V代表共享资源，PA_h代表能够修改共享资源V的高安全级主体，PV_l代表能够观测V值发生变化的低安全级主体，P代表安全信息系统的非自主访问控制策略，并且PA_h的安全级支配PV_l的安全级，表示为PA_h＞_pPV_l；对应的，在系统源代码中，V表示系统共享变量；PA_h和PV_l表示不同的用户进程，它们对V的修改始终满足V的值域，即

2)以高内聚低耦合为划分原则，将待分析系统划分成多个相对独立的子系统；

3)在每个子系统中以共享变量为基本单元搜索信息流分支，仅针对同时存在读和写信息流分支的共享变量，根据信息流关系创建有向信息流图；

4)对每个有向信息流图进行剪枝，即先删除用户界面不可见的流分支，然后判断该有向信息流图是否还同时具有读和写信息流分支，是则保留该有向信息流图，否则删除该图；

5)输出剪枝后剩下的有向信息流图，信息流图中的共享变量、读信息流分支和写信息流分支分别对应于隐蔽信道形式化表述<V，PA_h，PV_l，P>中的V、PA_h和PV_l。

2.如权利要求1所述的隐蔽信道标识方法，其特征在于，在所述步骤2)中将每个子系统的共享变量存在共享变量列表中，并且合并跨子系统的共享变量。

3.如权利要求2所述的隐蔽信道标识方法，其特征在于，所述步骤3)根据如下步骤创建有向信息流图：

3a)判断共享变量列表中所有的共享变量是否都已经分析过，是则转到步骤3f)，否则转到步骤3b)对一未分析过的共享变量进行分析；

3b)在当前子系统中查找该共享变量的信息流分支，并判断是否同时存在读和写的信息流分支，是则转到入步骤3c)，否则转到步骤3d)；

3c)创建该共享变量的有向信息流图，并保存相应的共享变量和信息流分支信息，转到步骤3a)；

3d)如果存在下一个子系统则转到步骤3b)，否则转到步骤3e)；

3e)该共享变量不同时存在读和写的信息流分支，剪枝掉该共享变量，不再分析，转到步骤3a)；

3f)所有的共享变量都已经分析过，结束有向信息流图创建过程。

4.如权利要求3所述的隐蔽信道标识方法，其特征在于，所述步骤3b)中查找共享变量的信息流分支的方法是：对共享变量的每一个直接调用函数递归搜索该函数的调用函数，同时记录函数之间的读写关系，直至遍历该共享变量所有的直接调用函数。

5.如权利要求1所述的隐蔽信道标识方法，其特征在于，所述步骤4)对有向信息流图进行剪枝的步骤是：

4a)针对一有向信息流图，判断其共享变量V_i与其他共享变量V_j之间是否存在V_i→V_j的关系，是则转到步骤4b)，否则转到步骤4c)；

4b)合并V_i和V_j，并合并相应的流分支，得到合并后的有向信息流图，进入步骤4c)；

4c)取当前有向信息流图中的一未分析过的流分支，判断该流分支是否是用户界面可见的，是则转到步骤4e)，否则转到步骤4d)；

4d)删除该信息流分支，转到步骤4e)；

4e)判断该有向信息流图中是否还存在未分析过的流分支，存在则转到步骤4c)，否则转到步骤4f)；

4f)判断该有向信息流图是否同时具有读和写信息流分支，是则转到步骤4h)，否则转到步骤4g)；

4g)删掉该有向信息流图，转到步骤4h)；

4h)判断是否所有的有向信息流图已经被分析过，是则结束有向信息流图剪枝过程，否则转到步骤4a)。