学位论文 > 优秀研究生学位论文题录展示

基于可信包装的可信软件构造模型

作　者: 朱叶
导　师: 田俊峰
学　校: 河北大学
专　业: 计算机系统结构
关键词: 可信软件构造可信包装可信引擎可信视图软件行为轨迹
分类号: 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

基于可信包装的可信软件构造模型

内容摘要

全文目录

相似论文