| 摘要 | 第11-14页 |
| Abstract | 第14-15页 |
| 第一章 绪论 | 第16-29页 |
| 1.1 研究背景 | 第16-17页 |
| 1.2 可信软件技术 | 第17-21页 |
| 1.2.1 可信软件 | 第17-19页 |
| 1.2.2 研究现状 | 第19-21页 |
| 1.2.3 面临挑战 | 第21页 |
| 1.3 研究问题及意义 | 第21-24页 |
| 1.4 论文主要工作 | 第24-27页 |
| 1.4.1 研究内容 | 第24-25页 |
| 1.4.2 研究成果 | 第25-27页 |
| 1.5 论文结构 | 第27-29页 |
| 第二章 软件行为研究 | 第29-46页 |
| 2.1 引言 | 第29页 |
| 2.2 软件行为 | 第29-36页 |
| 2.2.1 软件行为相关概念 | 第29-30页 |
| 2.2.2 软件行为研究方法和内容 | 第30-31页 |
| 2.2.3 软件行为建模 | 第31-35页 |
| 2.2.4 软件行为验证 | 第35-36页 |
| 2.3 软件行为模型 | 第36-39页 |
| 2.3.1 执行可视化 | 第36-37页 |
| 2.3.2 程序谱 | 第37页 |
| 2.3.3 有限状态自动机 | 第37-38页 |
| 2.3.4 不变式及其他 | 第38-39页 |
| 2.3.5 小结 | 第39页 |
| 2.4 行为模型挖掘 | 第39-43页 |
| 2.4.1 有限状态自动机挖掘 | 第40-41页 |
| 2.4.2 不变式挖掘 | 第41-42页 |
| 2.4.3 其他 | 第42页 |
| 2.4.4 小结 | 第42-43页 |
| 2.5 基于自动生成行为模型的软件行为分析 | 第43-44页 |
| 2.6 本章小结 | 第44-46页 |
| 第三章 软件层次行为模型技术 | 第46-78页 |
| 3.1 引言 | 第46-47页 |
| 3.2 软件执行层次性研究 | 第47-52页 |
| 3.2.1 执行示例 | 第47-48页 |
| 3.2.2 执行层次性 | 第48-49页 |
| 3.2.3 执行层次视图 | 第49-52页 |
| 3.3 软件层次行为模型 | 第52-59页 |
| 3.3.1 定义 | 第52-56页 |
| 3.3.2 描述 | 第56-58页 |
| 3.3.3 特点 | 第58-59页 |
| 3.4 层次行为模型挖掘方法 | 第59-66页 |
| 3.4.1 软件执行获取 | 第60页 |
| 3.4.2 执行层次视图建立 | 第60-61页 |
| 3.4.3 行为模型提取 | 第61-66页 |
| 3.5 实验评估 | 第66-76页 |
| 3.5.1 HBMer原型工具 | 第66-70页 |
| 3.5.2 实验准备 | 第70页 |
| 3.5.3 HBMer工具性能分析 | 第70-71页 |
| 3.5.4 算法有效性实验 | 第71-72页 |
| 3.5.5 层次行为模型有效性实验 | 第72-75页 |
| 3.5.6 模型扩展性实验 | 第75-76页 |
| 3.6 本章小结 | 第76-78页 |
| 第四章 软件异常行为自动监测技术 | 第78-99页 |
| 4.1 引言 | 第78-79页 |
| 4.2 异常发现和软件监测 | 第79-85页 |
| 4.2.1 异常发现技术 | 第79-81页 |
| 4.2.2 软件监测技术 | 第81-85页 |
| 4.3 基于规约挖掘的异常行为监测技术 | 第85-90页 |
| 4.3.1 研究目标 | 第85-87页 |
| 4.3.2 基于HBM的异常行为监测技术 | 第87-90页 |
| 4.4 实验评估 | 第90-96页 |
| 4.4.1 原型工具 | 第90-93页 |
| 4.4.2 实验准备 | 第93页 |
| 4.4.3 实验结果及分析 | 第93-96页 |
| 4.5 相关研究 | 第96-98页 |
| 4.6 本章小结 | 第98-99页 |
| 第五章 基于层次行为模型的缺陷定位技术 | 第99-122页 |
| 5.1 引言 | 第99页 |
| 5.2 程序缺陷定位 | 第99-104页 |
| 5.2.1 技术概况 | 第99-101页 |
| 5.2.2 基于程序谱的缺陷定位 | 第101-103页 |
| 5.2.3 面临的挑战 | 第103-104页 |
| 5.3 基于HBM的缺陷定位 | 第104-111页 |
| 5.3.1 技术概况 | 第104-106页 |
| 5.3.2 测试数据收集 | 第106-108页 |
| 5.3.3 缺陷可疑度量 | 第108-111页 |
| 5.3.4 可疑实体排序 | 第111页 |
| 5.4 实验评估 | 第111-117页 |
| 5.4.1 原型工具 | 第111-112页 |
| 5.4.2 实验准备 | 第112-113页 |
| 5.4.3 实验结果及分析 | 第113-117页 |
| 5.5 相关研究 | 第117-120页 |
| 5.5.1 基于来源于工具或语言特征的行为模型的缺陷定位 | 第118页 |
| 5.5.2 基于开发人员预定义的行为模型的缺陷定位 | 第118-119页 |
| 5.5.3 基于自动生成的行为模型的缺陷定位 | 第119-120页 |
| 5.6 本章小结 | 第120-122页 |
| 第六章 云端行为分析技术 | 第122-143页 |
| 6.1 引言 | 第122-123页 |
| 6.2 云端服务行为分析 | 第123-129页 |
| 6.2.1 服务示例 | 第123-124页 |
| 6.2.2 服务行为层次性 | 第124-127页 |
| 6.2.3 面向服务的软件行为分析 | 第127-129页 |
| 6.3 云端伪装攻击 | 第129-131页 |
| 6.3.1 伪装攻击 | 第129-130页 |
| 6.3.2 基于用户行为分析的伪装攻击检测 | 第130-131页 |
| 6.4 基于软件行为分析的伪装攻击检测 | 第131-139页 |
| 6.4.1 技术概况 | 第131-134页 |
| 6.4.2 具体实施方法 | 第134-136页 |
| 6.4.3 结合雾计算的伪装攻击检测 | 第136-139页 |
| 6.5 实验评估 | 第139-142页 |
| 6.5.1 实验准备 | 第139-141页 |
| 6.5.2 实验结果 | 第141-142页 |
| 6.6 本章小结 | 第142-143页 |
| 第七章 总结与展望 | 第143-146页 |
| 7.1 研究工作总结 | 第143-144页 |
| 7.2 未来工作展望 | 第144-146页 |
| 致谢 | 第146-148页 |
| 参考文献 | 第148-158页 |
| 作者在学期间取得的学术成果 | 第158-159页 |
| 作者在学期间参与的科研项目 | 第159页 |