专利详情

专利名称	一种隐蔽信道标识方法
申请号	CN201010569881.0	专利类型	发明专利
公开（公告）号	CN102045158A	公开（授权）日	2011.05.04
申请（专利权）人	中国科学院软件研究所	发明（设计）人	吴敬征;丁丽萍;王永吉;周启明;刘剑
主分类号	H04L9/00(2006.01)I	IPC主分类号	H04L9/00(2006.01)I
专利有效期	一种隐蔽信道标识方法至一种隐蔽信道标识方法	法律状态	实质审查的生效
说明书摘要	本发明公开了一种隐蔽信道标识方法，以系统原代码为分析对象，首先将安全信息系统中的隐蔽信道形式化描述为；然后将待分析系统划分成相对独立的子系统；在每个子系统中以共享变量为基本单元搜索相关的函数调用分支，进而根据信息流关系构建有向信息流图；并根据隐蔽信道的形式化描述对每个信息流图进行剪枝，消除代码中的无效流分支和变量别名；最后得到的所有的信息流图中的变量节点和函数调用分支即为潜在的隐蔽信道组成因素。本发明适用于高安全等级的操作系统、数据库、网络等信息系统的源代码，具有广泛的应用范围、较高的执行效率、较低的误报率和漏报率，能标识系统中的潜在隐蔽信道，满足安全标准对隐蔽信道分析的要求。