| 摘要 | 第1-5页 |
| ABSTRACT | 第5-11页 |
| 注释表 | 第11-12页 |
| 第一章 绪论 | 第12-17页 |
| ·课题研究背景 | 第12-13页 |
| ·国内外研究现状及选题依据 | 第13-15页 |
| ·国内外研究现状 | 第13-14页 |
| ·选题依据 | 第14-15页 |
| ·本文的组织结构 | 第15-17页 |
| 第二章 面向隐私保护的Web服务组合方法 | 第17-25页 |
| ·Web隐私保护 | 第17-20页 |
| ·Web服务隐私 | 第17-18页 |
| ·Web服务组合中的隐私保护 | 第18-20页 |
| ·Web服务组合方法 | 第20-22页 |
| ·Web服务组合概述 | 第20-21页 |
| ·主流的Web服务组合方法 | 第21-22页 |
| ·面向隐私保护的Web服务发现框架 | 第22-24页 |
| ·本章小结 | 第24-25页 |
| 第三章 隐私需求描述及规约 | 第25-39页 |
| ·隐私需求中数据依赖关系分析 | 第25-27页 |
| ·隐私需求中数据依赖关系对Web服务行为的约束分析 | 第27-31页 |
| ·成员服务内部 | 第27-28页 |
| ·成员服务之间 | 第28-29页 |
| ·应用实例 | 第29-31页 |
| ·隐私需求的线性时序逻辑规约 | 第31-38页 |
| ·线性时序逻辑 | 第31-35页 |
| ·隐私需求的规约描述 | 第35-38页 |
| ·本章小结 | 第38-39页 |
| 第四章 Web服务组合的隐私属性建模 | 第39-52页 |
| ·隐私活动图 | 第39-41页 |
| ·UML活动图 | 第39-40页 |
| ·隐私属性扩展的活动图 | 第40-41页 |
| ·Web服务组合的隐私活动图建模 | 第41-47页 |
| ·隐私属性的获取 | 第41-42页 |
| ·面向Web服务组合的隐私活动图建模 | 第42-47页 |
| ·隐私活动图到Promela模型的转换 | 第47-50页 |
| ·活动状态的转换规则 | 第47-48页 |
| ·分支与合并的转换规则 | 第48-49页 |
| ·分叉与汇合的转换规则 | 第49-50页 |
| ·重组Promela模型 | 第50页 |
| ·本章小结 | 第50-52页 |
| 第五章 面向隐私保护的Web服务组合原型工具的设计与实现 | 第52-64页 |
| ·面向隐私保护的Web服务组合原型工具的设计 | 第52-54页 |
| ·系统框架 | 第52-53页 |
| ·系统执行流程 | 第53-54页 |
| ·工具实现 | 第54-59页 |
| ·基于隐私活动图的Web服务组合建模 | 第54-57页 |
| ·基于LTL的SPIN模型检测 | 第57-59页 |
| ·实例分析 | 第59-62页 |
| ·Web服务组合隐私属性建模 | 第59-61页 |
| ·隐私需求的规约及Web服务组合路径的发现 | 第61-62页 |
| ·本章小结 | 第62-64页 |
| 第六章 总结与展望 | 第64-66页 |
| ·本文的主要工作和贡献 | 第64-65页 |
| ·未来的研究方向 | 第65-66页 |
| 参考文献 | 第66-70页 |
| 致谢 | 第70-71页 |
| 在学期间的研究成果及发表的学术论文 | 第71页 |