基于信息流分析的隐通道搜索方法的研究

在多级安全系统中，由于不存在密钥管理问题，而且对用户透明，所以在军方、企业内部网络中得到广泛地应用。但隐通道是多级安全系统中存在的一个重要的安全隐患。本课题面向多级安全系统的源代码，引入信息传导机制的概念，以程序设计语言操作语义为研究基础，研究开发一种方法，忽略源代码中与信息流无关的操作细节，使用信息流脉络网来代替程序系统的源代码进行分析，然后将信息流脉络网分割为若干个等价的信息流树，使用PVS验证系统，对树中信息流进行正确性证明，进而只针对那些不满足安全策略的信息流进行共享资源矩阵分析。课题的基本目标是研究实现一种基于信息流分析的隐通道搜索方法，开发出一套实用的隐通道搜索工具软件。