基于组件的软件系统高可信保障的几个关键技术研究
| 摘要 | 第5-7页 |
| Abstract | 第7-8页 |
| 第一章 绪论 | 第13-19页 |
| 1.1 研究背景和意义 | 第13-14页 |
| 1.2 软件体系结构概述 | 第14-16页 |
| 1.3 可信计算概述 | 第16-17页 |
| 1.4 创新点和主要贡献 | 第17页 |
| 1.5 论文组织 | 第17-18页 |
| 1.6 本章小结 | 第18-19页 |
| 第二章 可信ADL | 第19-49页 |
| 2.1 引言 | 第19页 |
| 2.2 ADL简介 | 第19-25页 |
| 2.2.1 组件 | 第21-22页 |
| 2.2.2 连接器 | 第22页 |
| 2.2.3 配置 | 第22-24页 |
| 2.2.4 工具支持 | 第24-25页 |
| 2.3 IT业对ADL的需求 | 第25-29页 |
| 2.3.1 受访人员 | 第26页 |
| 2.3.2 调查问题 | 第26-29页 |
| 2.3.3 分析结果 | 第29页 |
| 2.4 可信架构描述语言RFX-ADL | 第29-48页 |
| 2.4.1 TLA+简介 | 第29-31页 |
| 2.4.2 可信属性形式化规范 | 第31-35页 |
| 2.4.3 形式化规范的应用 | 第35-41页 |
| 2.4.4 RFX-ADL的XML实现 | 第41-44页 |
| 2.4.5 基于RFX-ADL的可靠性评估 | 第44-48页 |
| 2.5 本章小结 | 第48-49页 |
| 第三章 组件可信性模型 | 第49-78页 |
| 3.1 引言 | 第49页 |
| 3.2 组件模型概述 | 第49-53页 |
| 3.2.1 发展现状 | 第49-51页 |
| 3.2.2 现有模型简介 | 第51-53页 |
| 3.3 组件可信性形式化模型 | 第53-67页 |
| 3.3.1 事件与参数 | 第53-54页 |
| 3.3.2 服务与契约 | 第54-57页 |
| 3.3.3 组件结构 | 第57-58页 |
| 3.3.4 信息安全机制 | 第58-63页 |
| 3.3.5 组件行为 | 第63-64页 |
| 3.3.6 组件合成 | 第64-67页 |
| 3.4 组件可信性形式化校验 | 第67-72页 |
| 3.4.1 UPPAAL模型检查器 | 第67-68页 |
| 3.4.2 转换规则 | 第68-72页 |
| 3.4.3 转换示例 | 第72页 |
| 3.5 可靠性与可用性 | 第72-74页 |
| 3.5.1 服务失效与修复 | 第72-73页 |
| 3.5.2 定义可靠性和可用性 | 第73页 |
| 3.5.3 校验可靠性和可用性 | 第73-74页 |
| 3.6 综合案例 | 第74-77页 |
| 3.7 本章小结 | 第77-78页 |
| 第四章 可信组件选取 | 第78-91页 |
| 4.1 引言 | 第78页 |
| 4.2 信任概述 | 第78-82页 |
| 4.2.1 信任 | 第78-79页 |
| 4.2.2 信任模型 | 第79-82页 |
| 4.3 基于信任图的组件信任模型 | 第82-87页 |
| 4.3.1 基本概念 | 第83页 |
| 4.3.2 信任评估 | 第83-86页 |
| 4.3.3 信任演化 | 第86-87页 |
| 4.4 组件选取算法 | 第87-88页 |
| 4.5 实验与分析 | 第88-90页 |
| 4.6 本章小结 | 第90-91页 |
| 第五章 可信组件统计 | 第91-102页 |
| 5.1 引言 | 第91页 |
| 5.2 问题定义与索引思想 | 第91-93页 |
| 5.2.1 问题定义 | 第91-92页 |
| 5.2.2 索引思想(sB-tree) | 第92-93页 |
| 5.3 多类别统计B树(mcaB-tree) | 第93-95页 |
| 5.4 动态维护 | 第95-100页 |
| 5.4.1 补丁介绍 | 第95-98页 |
| 5.4.2 更新算法 | 第98-100页 |
| 5.5 实验与分析 | 第100-101页 |
| 5.6 本章小结 | 第101-102页 |
| 第六章 基于切面的软件自愈 | 第102-117页 |
| 6.1 引言 | 第102页 |
| 6.2 软件自愈现状 | 第102-104页 |
| 6.3 面向切面的自愈引擎 | 第104-112页 |
| 6.3.1 自愈引擎结构 | 第104-105页 |
| 6.3.2 自愈工作步骤 | 第105-107页 |
| 6.3.3 自愈模式 | 第107-111页 |
| 6.3.4 引擎实现 | 第111-112页 |
| 6.4 案例验证 | 第112-116页 |
| 6.5 本章小结 | 第116-117页 |
| 结论 | 第117-119页 |
| 今后工作的展望 | 第117-119页 |
| 参考文献 | 第119-126页 |
| 攻读博士学位期间取得的研究成果 | 第126-128页 |
| 1) 学术论文情况 | 第126-127页 |
| 2) 主要负责或参与的科研与工程项目情况 | 第127-128页 |
| 致谢 | 第128-129页 |
| 附件 | 第129页 |
