一种基于信息流脉络网的隐通道搜索方法.docVIP

  一种基于信息流脉络网的隐通道搜索方法# 宋香梅，鞠时光** （江苏大学计算机科学与通信工程学院，江苏 镇江 212013） 5 10 15 20 25 30 35 40 摘要：隐通道是多安全级可信计算机系统中的安全隐患之一，但是隐通道搜索一直是难点问 题。文中提出一种新的隐通道搜索方法。方法定义了一个信息流脉络网结构，描述系统中的 隐蔽信息流；给出了网中隐通道的判定规则，深度优先搜索网中隐蔽通信路径过程中排除合 法通道；最后结合路径中的操作序列构造隐通道工作场景，发现系统中的隐通道。利用该方 法可以弥补一些隐通道搜索方法的不足。 关键词：信息安全；隐通道；信息流脉络网；隐蔽流树；可信计算机系统 中图分类号：TP393 Method for covert channels identification based on the information flow veined net SONG Xiangmei, JU Shiguang (School of Computer Science and Telecommunication Engineering, Jiangsu University, JiangSu ZhenJiang 212013) Abstract: One of the security threats in the multi-security class trusted computer system is the covert channel. Covert channel identification is always one of the difficult problems. This paper introduced a method for detecting covert channels. The method defined a net structure called Information Flow Veined Net, which can offer the covert information flows of the system. It presented the criterion rules to exclude the legal channel from the covert information flow channels in information flow veined nets, and gained operation sequences when searching for the information flow path in the net, which will enhance the identification of the covert channels. Using the method can catch up on the shortage of some covert channel identification methods. Keywords: information security; covert channel; information flow veined net; covert flow tree; trusted computer system 0 引言 多安全级可信计算机系统中通常采用自主存取控制和强制存取控制策略相结合的方式 来防止系统用户的非授权访问，以免信息泄漏[1]。然而，一个高安全级别的用户却可以利用 隐蔽通道避开系统安全模型的检测，以违反系统安全策略的方式向另一个低安全级别用户传 递信息[2]。 为了降低或消除隐蔽通道对系统的危害，相关学者提出了多种隐蔽通道搜索方法。比较 著名的有共享资源矩阵方法[3]，无干扰分析方法[4]，信息流分析法[5]，隐蔽流树方法[6]等。 在这些方法中，一些学者认为 Kemmerer 等提出的共享资源矩阵方法是最有效的隐蔽通道搜 索方法[7]。它借助矩阵结构描述系统中所有共享资源属性被各个原语操作的访问情况，矩阵 生成方法简单并且形式直观，分析人员可以利用该矩阵找出系统中存在的隐蔽通道，已经有 多个成功应用的实例。但是矩阵在构造隐蔽通道工作场景时帮助不大，又缺乏自动化地分析 工具，从而使得分析隐蔽通道的人工工作量巨大。为此，Kemmerer 等在共享资源矩阵方法 的基础上加以改进，又提出了隐蔽流树方法。与共享资源矩阵方法相比，隐蔽流树方法最大 基金项目：国家自然科学基金 61111130184); 教育部博士点基金(20093227110005); 江苏省自然 科学基金(BK2010192) 作者简介：宋香梅，(1979-)，女，