| 摘要 | 第1-7页 |
| Abstract | 第7-8页 |
| 第一章 绪论 | 第8-11页 |
| ·课题研究背景与意义 | 第8页 |
| ·课题来源 | 第8-9页 |
| ·论文主要内容 | 第9页 |
| ·论文整体结构安排 | 第9-11页 |
| 第二章 PRISDS体系结构研究 | 第11-21页 |
| ·相关技术研究 | 第11-16页 |
| ·动态安全模型(P~2DR) | 第11-12页 |
| ·学习智能体模型 | 第12页 |
| ·基于层次消息总线的软件体系结构风格 | 第12-16页 |
| ·PRISDS体系结构研究 | 第16-20页 |
| ·PRISDS定义 | 第16页 |
| ·PRISDS系统模型 | 第16-17页 |
| ·PRISDS软件构架的设计 | 第17-18页 |
| ·PRISDS体系结构设计 | 第18-19页 |
| ·PRISDS构件工作模型设计 | 第19-20页 |
| ·本章小结 | 第20-21页 |
| 第三章 PRISDS策略构件设计 | 第21-26页 |
| ·IETF策略管理框架 | 第21-22页 |
| ·策略构件设计 | 第22-24页 |
| ·策略控制台 | 第23页 |
| ·策略决策点 | 第23-24页 |
| ·策略库 | 第24页 |
| ·重构器 | 第24页 |
| ·PRISDS策略的定义和分类 | 第24-25页 |
| ·本章小结 | 第25-26页 |
| 第四章 两种策略冲突情况下冲突解决算法 | 第26-35页 |
| ·策略冲突产生的原因 | 第26页 |
| ·动态策略冲突解决方案(构件约束一致性检验) | 第26-27页 |
| ·静态策略冲突解决方案(用户最大满意度算法) | 第27-34页 |
| ·模糊综合评判模型 | 第27-28页 |
| ·策略选择标准 | 第28页 |
| ·用户满意度和用户关注度定义 | 第28页 |
| ·策略选择过程 | 第28-29页 |
| ·算法描述 | 第29-31页 |
| ·实验与算法分析 | 第31-34页 |
| ·本章小结 | 第34-35页 |
| 第五章 基于相互一致性保证的PRISDS重构机制研究 | 第35-52页 |
| ·软件重构的定义 | 第35-36页 |
| ·动态重构技术研究 | 第36-40页 |
| ·几种典型的动态重构方法 | 第36-37页 |
| ·重构的一般模型 | 第37-38页 |
| ·基于构件的重构模式 | 第38-40页 |
| ·重构的正确性约束 | 第40-42页 |
| ·结构一致性分析 | 第40-41页 |
| ·相互一致性分析 | 第41-42页 |
| ·基于相互一致性保证的PRISDS重构机制 | 第42-51页 |
| ·PRISDS系统安全状态定义 | 第42-44页 |
| ·PS算法设计 | 第44-45页 |
| ·PRISDS的重构模式 | 第45-46页 |
| ·PRISDS重构模型设计 | 第46-48页 |
| ·PRISDS重构算法描述 | 第48-51页 |
| ·PRISDS重构机制正确性分析 | 第51页 |
| ·本章小结 | 第51-52页 |
| 第六章 验证系统设计与实现 | 第52-63页 |
| ·验证系统组成结构 | 第52-53页 |
| ·验证系统实现 | 第53-57页 |
| ·策略控制台实现 | 第53页 |
| ·策略决策点实现 | 第53-54页 |
| ·策略库实现 | 第54-55页 |
| ·重构器实现 | 第55-57页 |
| ·验证实验 | 第57-61页 |
| ·实验设计 | 第57-58页 |
| ·实验过程 | 第58-61页 |
| ·实验结果分析 | 第61页 |
| ·本章小结 | 第61-63页 |
| 第七章 总结与展望 | 第63-65页 |
| ·本文总结 | 第63页 |
| ·进一步工作展望 | 第63-65页 |
| 参考文献 | 第65-68页 |
| 作者简历 攻读硕士学位期间完成的主要工作 | 第68-69页 |
| 致谢 | 第69页 |