摘要 | 第4-5页 |
Abstract | 第5-6页 |
第一章 引言 | 第10-20页 |
1.1 问题的提出及研究意义 | 第10-12页 |
1.1.1 问题的提出 | 第10-11页 |
1.1.2 研究意义 | 第11-12页 |
1.2 国内外相关研究综述 | 第12-17页 |
1.2.1 Web Services 安全关键技术研究 | 第12-14页 |
1.2.2 Web Services 性能评估研究 | 第14-15页 |
1.2.3 Web 服务安全模型研究 | 第15-16页 |
1.2.4 小结 | 第16-17页 |
1.3 论文的内容与篇章结构 | 第17-20页 |
1.3.1 内容 | 第17页 |
1.3.2 篇章结构 | 第17-20页 |
第二章 Web Services 安全相关技术 | 第20-34页 |
2.1 Web 服务架构概述 | 第20-21页 |
2.2 Web Services 核心技术概述 | 第21-25页 |
2.2.1 XML 技术 | 第21-23页 |
2.2.2 SOAP 技术 | 第23-24页 |
2.2.3 WSDL 与UDDI 技术 | 第24-25页 |
2.3 基于 XML的 Web Services 安全技术 | 第25-29页 |
2.3.1 XML 签名 | 第25-27页 |
2.3.2 XML 加密 | 第27页 |
2.3.3 WS-Security 规范 | 第27-29页 |
2.4 WSE 策略框架技术 | 第29-33页 |
2.4.1 WSE 所支持的安全特性 | 第30页 |
2.4.2 WSE 策略框架及对象模型 | 第30-32页 |
2.4.3 WSE 筛选器的处理过程 | 第32-33页 |
2.5 本章小结 | 第33-34页 |
第三章 基于 WS-Security 规范的安全 Web 服务性能评估 | 第34-45页 |
3.1 安全 Web 服务性能评估的相关背景 | 第34-36页 |
3.1.1 安全Web 服务架构 | 第34-35页 |
3.1.2 基于WS-Security 规范的安全机制 | 第35-36页 |
3.1.3 Web 服务性能评估 | 第36页 |
3.2 改进的时间响应评估模型 | 第36-41页 |
3.2.1 时间响应评估实验环境 | 第36-37页 |
3.2.2 时间响应评估模型的建立 | 第37-38页 |
3.2.3 改进的时间响应评估模型 | 第38-41页 |
3.3 性能评估实验结果分析 | 第41-44页 |
3.3.1 实验结果 | 第41-43页 |
3.3.2 评估结果分析 | 第43-44页 |
3.4 结论 | 第44页 |
3.5 本章小结 | 第44-45页 |
第四章 Web Services 安全模型的构建 | 第45-55页 |
4.1 安全需求分析 | 第45-46页 |
4.2 Web 服务安全模型总体设计 | 第46-49页 |
4.2.1 安全模型设计 | 第47-48页 |
4.2.2 模型的过程描述 | 第48-49页 |
4.3 SOAP 安全信息注册服务 | 第49-52页 |
4.3.1 信息注册服务的组成及处理过程 | 第49-50页 |
4.3.2 安全关键环节 | 第50-52页 |
4.4 安全令牌代理服务 | 第52-53页 |
4.5 本章小结 | 第53-55页 |
第五章 基于 Pi 演算的 Web Services 安全模型验证 | 第55-68页 |
5.1 Pi 演算的相关理论 | 第55-59页 |
5.1.1 Spi 演算 | 第55-58页 |
5.1.2 基于Spi 演算的模型分析 | 第58-59页 |
5.2 HML与不动点理论 | 第59-61页 |
5.2.1 HML 相关理论 | 第59-60页 |
5.2.2 不动点理论 | 第60-61页 |
5.3 MWB 移动工作台 | 第61-63页 |
5.3.1 MWB 简介 | 第61-62页 |
5.3.2 MWB 语法 | 第62-63页 |
5.4 基于Pi 演算的SIRSTPM 模型的形式化及验证 | 第63-67页 |
5.4.1 SIRSTPM 的形式化描述 | 第63-64页 |
5.4.2 SIRSTPM 模型有效性验证 | 第64-65页 |
5.4.3 SIRSTPM 模型安全性验证 | 第65-67页 |
5.5 本章小结 | 第67-68页 |
结论 | 第68-70页 |
参考文献 | 第70-74页 |
攻读硕士学位期间取得的研究成果 | 第74-75页 |
致谢 | 第75页 |