学位论文 > 优秀研究生学位论文题录展示
基于可信包装的可信软件构造模型
作 者: 朱叶
导 师: 田俊峰
学 校: 河北大学
专 业: 计算机系统结构
关键词: 可信软件构造 可信包装 可信引擎 可信视图 软件行为轨迹
分类号: TP309
类 型: 硕士论文
年 份: 2011年
下 载: 34次
引 用: 0次
阅 读: 论文下载
内容摘要
传统的软件开发方法在软件可信性保障方面考虑较少,致使所开发软件的可信性难以保证,而加载有TPM的可信计算机只能在系统启动的初始阶段获得暂时的安全,一旦软件在运行过程中发生故障或失效,尤其是遭到恶意攻击时,将给用户和社会带来巨大的冲击和损害。软件的可信性作为软件质量的一种特殊表现形式受到了高度关注,可信软件能够保证软件的行为总是与预期相一致,使得软件的功能需求得到正确的实现,并且在很大程度上可信软件不会因为系统中存在的错误、环境的异常或恶意的攻击而导致软件的故障或失效。因此,如何保证软件的可信性以及如何构造可信软件将成为软件技术发展和应用的必然趋势,具有十分重要的理论意义与研究价值。结合Agent技术和TPM提供的可信计算功能,提出了基于可信包装的可信软件构造模型(Trusted Software Constitution Model based on Trust Shell,简称TSCMTS),在逻辑上可信包装负责保证软件的可信性。提出可信引擎的概念,将TCG信任链延伸到了应用实体,对软件实体进行完整性度量,保证其静态可信性;同时定义了可信视图的概念,表征软件行为特征信息。基于此,可信引擎通过验证软件运行时其行为是否满足可信性约束,实现对软件行为的动态可信性的保障。为了提高可信性约束的精度,提出了基于信息熵的检查点场景和时间偏量多属性权重分配策略。仿真实验表明该模型所设计的软件能够在降低较小性能的前提下有效地提高可信性。
|
全文目录
摘要 5-6 Abstract 6-9 第1章 引言 9-14 1.1 研究背景和意义 9-10 1.2 国内外研究现状 10-12 1.2.1 国外研究现状 10 1.2.2 国内研究现状 10-12 1.3 研究目标 12-13 1.4 论文结构 13-14 第2章 相关理论知识与技术 14-22 2.1 可信计算 14-17 2.1.1 可信计算的出现及发展 14-15 2.1.2 可信计算的基本概念 15-16 2.1.3 可信计算的基本思想 16-17 2.2 Agent 概述 17-18 2.3 软件行为相关技术 18-21 2.3.1 软件行为监控技术 18-20 2.3.2 软件行为可信度量 20-21 2.4 小结 21-22 第3章 基于可信包装的可信软件构造模型 22-25 3.1 软件行为的相关概念 22 3.2 可信软件构造模型逻辑框架 22-24 3.3 小结 24-25 第4章 可信包装及实现策略 25-34 4.1 可信包装逻辑结构及交互框架 25 4.2 可信引擎及静态约束 25-27 4.3 软件预期行为及可信视图 27-33 4.3.1 软件预期运行轨迹 27-28 4.3.2 软件预期功能轨迹 28-30 4.3.3 软件预期行为的提取 30-31 4.3.4 软件预期行为的表征 31-32 4.3.5 可信视图组织及存储 32-33 4.4 小结 33-34 第5章 仿真实验结果及分析 34-39 5.1 实验背景 34-35 5.2 模型检测能力 35-36 5.3 模型精确度及运行效率 36-38 5.4 小结 38-39 第6章 总结与展望 39-40 6.1 本文所做工作 39 6.2 下一步研究工作展望 39-40 参考文献 40-43 致谢 43-44 攻读学位期间取得的科研成果 44
|
相似论文
- 基于监控的可信软件构造技术研究与实现,TP311.52
- 基于扩展主观逻辑的软件行为动态信任评价模型,TP309
- Windows内核态密码服务接口设计与实现,TP309.7
- 嵌入式可信计算机系统安全机制的设计与实现,TP309
- 基于虹膜的数据加解密算法研究,TP309.7
- 云计算平台下的动态信任模型的研究,TP309
- ATN中敏感信息保护技术研究,TP309
- 法院审判信息系统的访问控制研究,TP309
- FPGA系统远程安全升级的设计与实现,TP309
- 图像信息隐藏技术的应用研究,TP309.7
- 一种FFTT非对称加解密算法的研究与实现,TP309.7
- 图像水印算法的研究及嵌入式实现,TP309.7
- 基于图像的信息隐藏技术研究,TP309.7
- 彩色图像水印的非线性检测方案研究,TP309.7
- 基于RSA信息安全加密系统的研究与实现,TP309.7
- 基于离散小波变换的图像水印算法研究,TP309.7
- 网络备份系统中管理控制的设计与实现,TP309.3
- DES_RSA混合加密以及传输实现,TP309.7
- 基于SHA和AES算法的AHB总线监视器设计,TP309.7
- 基于固态硬盘加密方法的研究,TP309.7
- 基于混沌映射与FrFT的单通道彩色图像加密算法,TP309.7
中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 一般性问题 > 安全保密
© 2012 www.xueweilunwen.com
|