论文部分内容阅读
全球信息化时代的到来,使得信息技术在各行各业的应用日益广泛和深入。在这样一个时期,信息安全保障工作,尤其是确保基础网络、重要信息系统和信息内容的安全,已成为信息化发展中必须要解决的重大问题。就信息系统安全而言,操作系统、网络系统和数据库系统的安全问题占据了核心的地位。鉴于数据库、网络及包括应用软件在内的所有软件系统均建立在操作系统之上,所以如果没有安全操作系统的支持,就不可能保障其它软件系统的安全可信性。
隐蔽通道分析一直以来都是安全操作系统研究中的重要问题。因此论文选取Linux内核源码为目标对象,对Linux操作系统进行隐蔽通道分析的相关研究。论文首先讨论了隐蔽通道的相关概念以及在隐蔽通道的分析过程中所要关注的相关内容,随后在研究了不同的隐蔽通道标识方法后,根据各自的优缺点,确定了以共享资源矩阵分析方法作为论文研究的突破口。在共享资源矩阵传递闭包的计算方面,深入研究了早前的实现方法,对其进行改进与优化,提出了一种新的实现方法,并从算法实现复杂度及统计学的角度将其与早前实现方法进行了对比。
同时,由于在进行共享资源矩阵传递闭包的计算之前,需要先构造共享资源矩阵,而在构造的过程中,因为源代码文件数量庞大、结构复杂,从而导致了构造共享资源矩阵非常困难。因此,如何确定源代码分析的范围成为了最关键的问题。于是论文以2.6.37版本的Linux内核源码为基础,对新版本的Makefile体系结构进行了分析与讨论。在对Linux内核源码组成结构进行归类分析后,针对新版的Makefile体系结构,对Linux内核中的Makefile文件的格式及其内含变量做了研究与归纳总结,以期更好地分析Linux内核在编译过程中各文件之间的相互依赖性。
最后,论文就研究过程中存在的问题及今后的努力方向进行了总结与展望。