学位论文 > 优秀研究生学位论文题录展示
基于源代码的隐蔽通道分析方法若干关键问题的研究
作 者: 刘承玉
导 师: 翟高寿
学 校: 北京交通大学
专 业: 计算机科学与技术
关键词: 隐蔽通道分析 预处理 信息流规则 共享资源矩阵 传递闭包
分类号: TP309
类 型: 硕士论文
年 份: 2010年
下 载: 30次
引 用: 1次
阅 读: 论文下载
内容摘要
面对信息化社会层出不穷的海量级信息,信息系统已成为信息处理必不可少的强有力的工具,信息系统的安全也越来越受到人们的广泛重视。而作为信息系统底层支持的操作系统的安全是保证信息系统安全的前提,所以,操作系统安全成为计算机领域的研究热点之一。对操作系统来说,许多威胁和攻击是隐藏的,隐蔽通道就是其中一种。因此,准确高效的隐蔽通道分析是保证操作系统安全的重要环节,同时也是保证信息系统安全的基本前提。论文选取Linux内核源码为目标对象进行隐蔽通道分析,对现有的隐蔽通道分析处理相关研究成果进行归纳总结,综合比较和借鉴语法信息流分析法、共享资源矩阵法和隐蔽流树分析法的优劣及精髓,给出了基于源代码的隐蔽通道分析方法的基本流程,并对其中存在的一些关键问题展开深入分析。主要地,分析Makefile文件并强化源代码的预处理机制,以期实现分析范围的科学准确定位,为共享资源(主要体现为变量)和函数的获取提供坚实基础;设计和优化信息流规则,为共享资源和函数间读写关系的提取创造更为合理的条件。同时,论文以Linux 2.6.5版本内核源码为分析对象,对共享资源矩阵传递闭包计算的算法实现进行具体研究,主要讨论了基于数组存储方法和十字链表存储方法等两种实现方式,并对算法复杂度进行分析比较,以期改进算法实现细节,使其更适合基于操作系统源码的隐蔽通道分析过程。最后,论文就课题研究中存在的问题以及下一步的努力方向进行了总结和展望。
|
全文目录
致谢 5-6 摘要 6-7 ABSTRACT 7-10 1 绪论 10-16 1.1 课题背景 10-12 1.1.1 信息安全与操作系统安全 10-11 1.1.2 操作系统安全测评与隐蔽通道分析 11-12 1.2 国内外研究现状 12-14 1.3 论文研究内容与技术路线 14 1.4 论文组织结构 14-16 2 隐蔽通道分析方法研究 16-32 2.1 隐蔽通道概述 16-23 2.1.1 隐蔽通道的概念及分类 16-18 2.1.2 隐蔽通道分析与处理 18-21 2.1.3 隐蔽通道分析要领 21-23 2.2 隐蔽通道分析方法 23-28 2.2.1 语法信息流法 23-24 2.2.2 共享资源矩阵法 24-25 2.2.3 隐蔽流树法 25-26 2.2.4 其它方法 26-28 2.3 隐蔽通道分析方法比较 28-31 本章小结 31-32 3 基于源代码的隐蔽通道分析方法 32-56 3.1 基于源代码的隐蔽通道分析流程 32-33 3.2 Linux内核源码及其特殊性 33-38 3.3 Makefile文件分析 38-43 3.3.1 Makefile文件概述 38-40 3.3.2 Linux2.6.5内核Makefile分析 40-43 3.4 源码预处理 43-48 3.4.1 C预处理命令 43-44 3.4.2 头文件包含命令的分析处理 44 3.4.3 宏命令的分析处理 44-45 3.4.4 条件预编译命令的分析处理 45-46 3.4.5 其它预编译情形的分析处理 46-48 3.5 信息流规则设计及优化 48-55 本章小结 55-56 4 共享资源矩阵传递闭包算法的设计与实现 56-71 4.1 共享资源矩阵传递闭包算法概述 56-59 4.2 基于数组的算法设计与实现 59-60 4.3 基于十字链表的算法设计与实现 60-68 4.3.1 程序总体流程 61 4.3.2 存储结构设计 61-63 4.3.3 算法设计与实现 63-68 4.4 算法实现比较与评价 68-70 本章小结 70-71 5 结束语 71-74 5.1 论文工作总结 71 5.2 论文成果及创新 71-72 5.3 研究展望 72-74 参考文献 74-76 作者简历 76-78 学位论文数据集 78
|
相似论文
- 舌图像中瘀斑瘀点检测技术研究,TP391.41
- Cu2+/Co2+催化漂白桉木浆工艺与机理研究,TS745
- 离子液体预处理纤维素及再生纤维素水解研究,TQ352.1
- 玉米秸秆和牛粪混合厌氧发酵工艺优化研究,S216.4
- 红外图像目标识别及跟踪技术研究,TP391.41
- 基于粗糙集的城市区域交通绿时控制系统研究,TP18
- 化学与生物成因施氏矿物的矿物学特征及其对水中As(Ⅲ)吸附去除效果的研究,X703
- O3高级氧化技术处理黄连素制药废水研究,X787
- 缺氧预处理MSCs移植对心肌梗死区SDF-1/CXCR4轴表达变化的实验研究,R542.22
- 内质网应激预处理提高肾组织对缺血再灌注损伤耐受性的作用及机制,R692.5
- 丁苯酞预处理对大鼠脑缺血再灌注损伤的神经保护作用,R743.33
- 基于车牌识别技术的智能交通系统的设计与实现,TP391.41
- 基于小波分析的掌纹图像识别研究,TP391.41
- 基于高斯过程的在线建模问题研究,TP181
- 基于投影寻踪回归的网络异常检测机制研究,TP393.08
- 基于数字图像处理的手势识别,TP391.41
- 基于数据挖掘聚类技术的我国高校分类研究,TP311.13
- 基于SVM的车牌字符识别算法研究与实现,TP391.41
- 应用于窄间隙埋弧焊的图像采集及预处理系统研究,TG445
- 混纺织物不同纤维的图像识别与定量分析,TP391.41
- 真空压铸AZ91镁合金耐腐蚀性能研究,TG146.22
中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 一般性问题 > 安全保密
© 2012 www.xueweilunwen.com
|