| 摘要 | 第5-6页 |
| Abstract | 第6-7页 |
| 第一章 绪言 | 第12-18页 |
| 1.1 软件动态更新 | 第12-13页 |
| 1.2 程序代码层面的软件动态更新技术 | 第13-16页 |
| 1.2.1 从程序状态角度出发 | 第14-15页 |
| 1.2.2 从程序构成角度出发 | 第15-16页 |
| 1.3 动态更新正确性及存在的挑战 | 第16页 |
| 1.4 本文贡献 | 第16-17页 |
| 1.5 论文组织 | 第17-18页 |
| 第二章 相关工作 | 第18-29页 |
| 2.1 Ginseng更新机制 | 第18-25页 |
| 2.1.1 补丁生成器 | 第20页 |
| 2.1.2 Ginseng编译器 | 第20-22页 |
| 2.1.3 安全分析 | 第22-23页 |
| 2.1.4 动态更新点 | 第23-24页 |
| 2.1.5 运行时系统 | 第24-25页 |
| 2.2 软件动态更新正确性 | 第25-29页 |
| 2.2.1 软件动态更新可到达状态正确性 | 第25-26页 |
| 2.2.2 可到达状态正确性的不可判定性 | 第26-27页 |
| 2.2.3 Ginseng类型安全 | 第27-29页 |
| 第三章 基于断言的更新点选择分析 | 第29-39页 |
| 3.1 现有更新点选择准则及其不足 | 第29-30页 |
| 3.2 基于程序断言的更新点选择准则 | 第30-31页 |
| 3.3 基于断言的更新点选择技术分析 | 第31-39页 |
| 3.3.1 断言与更新点的匹配 | 第32-33页 |
| 3.3.2 关联分析 | 第33-35页 |
| 3.3.3 基于约束分析实现数据关联分析 | 第35-39页 |
| 第四章 基于断言的更新点选择技术实现 | 第39-54页 |
| 4.1 CIL:C Intermediate Language | 第39-41页 |
| 4.2 基于断言更新点选择技术实现 | 第41-54页 |
| 4.2.1 主体程序 | 第41-45页 |
| 4.2.2 遍历添加属性 | 第45-48页 |
| 4.2.3 遍历生成数据关联约束 | 第48-54页 |
| 第五章 实例研究 | 第54-67页 |
| 5.1 基于断言的更新点选择技术例证 | 第54-58页 |
| 5.2 应用实例研究 | 第58-67页 |
| 5.2.1 OpenSSH程序分析 | 第58-59页 |
| 5.2.2 使用Ginseng部署OpenSSH更新 | 第59-62页 |
| 5.2.3 使用基于断言的更新点选择技术解决更新中出现的问题 | 第62-67页 |
| 第六章 总结与展望 | 第67-69页 |
| 6.1 工作总结 | 第67-68页 |
| 6.2 研究展望 | 第68-69页 |
| 简历与科研成果 | 第69-70页 |
| 参考文献 | 第70-74页 |
