基于源代码的隐蔽通道分析方法若干关键问题的研究

来源 :北京交通大学 | 被引量 : 8次 | 上传用户:handong007
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
面对信息化社会层出不穷的海量级信息,信息系统已成为信息处理必不可少的强有力的工具,信息系统的安全也越来越受到人们的广泛重视。而作为信息系统底层支持的操作系统的安全是保证信息系统安全的前提,所以,操作系统安全成为计算机领域的研究热点之一。对操作系统来说,许多威胁和攻击是隐藏的,隐蔽通道就是其中一种。因此,准确高效的隐蔽通道分析是保证操作系统安全的重要环节,同时也是保证信息系统安全的基本前提。论文选取Linux内核源码为目标对象进行隐蔽通道分析,对现有的隐蔽通道分析处理相关研究成果进行归纳总结,综合比较和借鉴语法信息流分析法、共享资源矩阵法和隐蔽流树分析法的优劣及精髓,给出了基于源代码的隐蔽通道分析方法的基本流程,并对其中存在的一些关键问题展开深入分析。主要地,分析Makefile文件并强化源代码的预处理机制,以期实现分析范围的科学准确定位,为共享资源(主要体现为变量)和函数的获取提供坚实基础;设计和优化信息流规则,为共享资源和函数间读写关系的提取创造更为合理的条件。同时,论文以Linux 2.6.5版本内核源码为分析对象,对共享资源矩阵传递闭包计算的算法实现进行具体研究,主要讨论了基于数组存储方法和十字链表存储方法等两种实现方式,并对算法复杂度进行分析比较,以期改进算法实现细节,使其更适合基于操作系统源码的隐蔽通道分析过程。最后,论文就课题研究中存在的问题以及下一步的努力方向进行了总结和展望。
其他文献
负载均衡是一种通过动态分配机制,提高计算机系统可用性和可伸缩性的关键技术。根据Web服务器集群中各个服务器上的工作负载情况及时调整负载均衡算法是目前基于预测机制负载
在21世纪,最优化理论和相关算法都得到了极大地发展。传统的优化方法虽然具有理论成熟,应用广泛的优点,但是随着对优化方法要求的不断提高和现代科学技术的发展,传统优化方法不能
二十一世纪是信息的时代,信息传输伴随着数据量的增加,人们逐渐发现隐含在这些海量数据下的价值,于是用于分析处理海量数据的平台应运而生,Hadoop便是这其中最经典的海量数据
类纸电子阅读器具有无辐射、无闪烁、携带方便、待机时间长等优点,得到了用户越来越多的关注和使用。随着无线网络的迅速发展和应用,用户需要类纸电子阅读器支持无线网络提供
移动目标检测技术作为计算机视觉应用技术的一个重要分支,其目的是实现对监控区域内的移动目标进行实时的视频采集与检测,并将这些用户感兴趣的信息存储起来作为分析现场状况的
近年来,在道路路产设施的维护管理中,道路信息采集主要由人工完成,采集到的信息相互孤立,缺乏联动性,管理人员无法从海量数据中最大限度地挖掘所需信息,从而无法对道路设施进
随着软件业的不断发展,尤其是网络应用的快速发展,软件安全问题已经成为计算机安全领域中最值得关注的一个问题。计算机安全领域不断涌现新的突破和新的发展,这些新的技术给
数据广播是目前移动环境中一种有效的数据访问方式。服务器将热点数据通过公共信道周期性地发送出去,用户侦听广播信道并及时获取自己感兴趣的内容。与传统的点对点数据访问
学位
图像分割是图像处理中的一项关键技术,其目的是将目标和背景分离,为后续处理提供依据,其结果直接影响到其后的信息处理过程。然而到目前为止,对图像分割的效果好坏,还没有一