共享资源矩阵法论文-杨鹏,赵辉,鲍忠贵

共享资源矩阵法论文-杨鹏,赵辉,鲍忠贵

导读:本文包含了共享资源矩阵法论文开题报告文献综述及选题提纲参考文献,主要关键词:操作系统,隐蔽通道,共享资源矩阵,概率模型

共享资源矩阵法论文文献综述

杨鹏,赵辉,鲍忠贵[1](2016)在《基于双十字链表存储的共享资源矩阵方法特性研究》一文中研究指出针对共享资源矩阵法在系统隐蔽通道检测过程中存在的算法时间复杂度高的问题,提出了一种基于双十字链表存储的改进算法。首先,针对共享资源矩阵方法中的核心操作——传递闭包操作,将传统的数组存储改进为双十字链表存储;其次,针对共享资源矩阵方法建立了概率模型;最后,在该概率模型下,分析了改进算法的时间复杂度和共享资源矩阵方法的特性。理论分析和实验仿真表明:当共享资源矩阵为稀疏矩阵时,采用基于双十字链表存储的改进算法能够使共享资源矩阵法的时间效率相比传统的数组存储提高67%;当共享资源矩阵的规模较大时,传递闭包操作会使得共享资源矩阵中的元素快速填充,从而导致基于双十字链表存储改进算法相比传统数组存储的时间效率优势下降,并在概率模型下通过理论推导验证了传递闭包操作的这一特性。(本文来源于《计算机应用》期刊2016年03期)

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

共享资源矩阵法论文开题报告

(1)论文研究背景及目的

此处内容要求:

首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。

写法范例:

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

(2)本文研究方法

调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。

观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。

实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。

文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。

实证研究法:依据现有的科学理论和实践的需要提出设计。

定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。

定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。

跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。

功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。

模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。

共享资源矩阵法论文参考文献

[1].杨鹏,赵辉,鲍忠贵.基于双十字链表存储的共享资源矩阵方法特性研究[J].计算机应用.2016

[2].杨司祺.基于共享资源矩阵法的Linux内核隐蔽通道搜索研究[D].北京交通大学.2011

标签:;  ;  ;  ;  

共享资源矩阵法论文-杨鹏,赵辉,鲍忠贵
下载Doc文档

猜你喜欢