基于共享资源矩阵法的Linux内核隐蔽通道搜索研究

来源 :北京交通大学 | 被引量 : 5次 | 上传用户:xingnaizheng
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
全球信息化时代的到来,使得信息技术在各行各业的应用日益广泛和深入。在这样一个时期,信息安全保障工作,尤其是确保基础网络、重要信息系统和信息内容的安全,已成为信息化发展中必须要解决的重大问题。就信息系统安全而言,操作系统、网络系统和数据库系统的安全问题占据了核心的地位。鉴于数据库、网络及包括应用软件在内的所有软件系统均建立在操作系统之上,所以如果没有安全操作系统的支持,就不可能保障其它软件系统的安全可信性。   隐蔽通道分析一直以来都是安全操作系统研究中的重要问题。因此论文选取Linux内核源码为目标对象,对Linux操作系统进行隐蔽通道分析的相关研究。论文首先讨论了隐蔽通道的相关概念以及在隐蔽通道的分析过程中所要关注的相关内容,随后在研究了不同的隐蔽通道标识方法后,根据各自的优缺点,确定了以共享资源矩阵分析方法作为论文研究的突破口。在共享资源矩阵传递闭包的计算方面,深入研究了早前的实现方法,对其进行改进与优化,提出了一种新的实现方法,并从算法实现复杂度及统计学的角度将其与早前实现方法进行了对比。   同时,由于在进行共享资源矩阵传递闭包的计算之前,需要先构造共享资源矩阵,而在构造的过程中,因为源代码文件数量庞大、结构复杂,从而导致了构造共享资源矩阵非常困难。因此,如何确定源代码分析的范围成为了最关键的问题。于是论文以2.6.37版本的Linux内核源码为基础,对新版本的Makefile体系结构进行了分析与讨论。在对Linux内核源码组成结构进行归类分析后,针对新版的Makefile体系结构,对Linux内核中的Makefile文件的格式及其内含变量做了研究与归纳总结,以期更好地分析Linux内核在编译过程中各文件之间的相互依赖性。   最后,论文就研究过程中存在的问题及今后的努力方向进行了总结与展望。
其他文献
气候变化所引起的环境问题已引起各国政府的密切关注。本文以长江中下游地区的池州市、铜陵市及位于皖中沿江平原地区的长丰县为研究区域,主要做了以下三个方面的工作:1)对池州
近年来随着交通技术的进步,交通设施不断得到改善,智能交通系统(ITs,Intelligent Transport System)的应用也越来越广泛。智能交通系统中的交通诱导子系统是出行和运输管理系
随着以太网的普及和宽带应用的发展,光纤到户(FTTH)被普遍认为是一种理想的综合接入方案。自2003年起,ITU-T陆续推出了G984.X系列标准来定义吉比特级无源光网络(GPON)系统。G
边缘是图像最基本的特征。边缘检测是图像处理领域最重要的研究课题之一,在模式识别、纹理分析、特征提取领域有着广泛的应用,受到学者的广泛关注。目前在边缘检测研究领域已
现代计算机技术的迅猛发展极大地促进了科学计算可视化的发展,二维离散矢量场可视化是科学计算可视化的重要组成部分。目前,可视化的应用领域十分广泛,几乎涉及自然科学与工
时延测试是检验电路时序正确性的有效手段,作为集成电路测试的一个关键环节,在芯片制造中被广泛使用。国际半导体蓝图预测2020年集成电路特征尺寸将达到10纳米,不断提高的工
数据库技术是信息化社会的重要基础,数据库课程是国内高校计算机专业的必修课程。数据库教学中高效能、高质量实验技能训练,对提高课程的教学质量起着至关重要的作用。因此,
麻醉机作为在现代医疗中必不可少的器械之一,不仅可以在病人手术中进行全身麻醉使用,而且还可以替代危重病人的自我呼吸。麻醉机系统是一个复杂的系统,它涉及到机械、控制、
随着互联网和移动互联网的快速发展,如何高效地组织和管理海量的网页信息越来越成为棘手的问题。网页分类研究作为Web挖掘的一个基础步骤,在搜索引擎、主题爬虫和维护目录式
随着移动智能手机设备的广泛使用和针对手机的移动应用开发技术的迅速发展,用户界面设计变成了一项复杂和耗时的工作。研究一种有效率的用户界面开发方法,对于减少界面设计的