基于自动机的WS-BPEL流程中数据的隐私分析与验证
| 摘要 | 第1-5页 |
| Abstract | 第5-12页 |
| 第一章 绪论 | 第12-16页 |
| ·课题研究背景 | 第12页 |
| ·当前研究现状及选题依据 | 第12-14页 |
| ·当前研究现状 | 第12-14页 |
| ·选题依据 | 第14页 |
| ·论文内容与组织结构 | 第14-16页 |
| 第二章 WS-BPEL 中数据的隐私保护 | 第16-27页 |
| ·WS-BPEL 的介绍 | 第16-20页 |
| ·流程特征 | 第16-17页 |
| ·语言结构 | 第17-19页 |
| ·贷款批准业务应用实例 | 第19-20页 |
| ·WS-BPEL 中存在的隐私问题 | 第20-23页 |
| ·隐私基本概念 | 第20-22页 |
| ·WS-BPEL 中数据的隐私安全问题 | 第22-23页 |
| ·隐私感知的WS-BPEL 流程 | 第23-26页 |
| ·隐私感知WS-BPEL 流程执行框架 | 第23页 |
| ·隐私策略的描述 | 第23-25页 |
| ·隐私感知的WS-BPEL 流程的主要问题 | 第25-26页 |
| ·本章小结 | 第26-27页 |
| 第三章 隐私感知的WS-BPEL 流程模型 | 第27-42页 |
| ·隐私BPEL 自动机(PBA) | 第27-29页 |
| ·自动机简介 | 第27页 |
| ·PBA 的形式化描述 | 第27-29页 |
| ·WS-BPEL 到BPEL 自动机的转换 | 第29-36页 |
| ·基本活动 | 第29-32页 |
| ·结构活动 | 第32-35页 |
| ·其他元素 | 第35-36页 |
| ·PBA 的建立 | 第36-41页 |
| ·隐私策略内容的抽取 | 第36-37页 |
| ·卫式条件集G 及映射关系 | 第37-40页 |
| ·贷款批准业务的PBA | 第40-41页 |
| ·本章小结 | 第41-42页 |
| 第四章 流程数据隐私属性的验证 | 第42-56页 |
| ·验证原理及方法 | 第42-43页 |
| ·模型验证简介 | 第42-43页 |
| ·隐私属性验证的基本问题 | 第43页 |
| ·隐私可满足性验证 | 第43-47页 |
| ·PBA 中卫式条件的判定方法 | 第43-45页 |
| ·隐私可满足性验证过程 | 第45-47页 |
| ·应用实例的可满足性验证分析 | 第47页 |
| ·指定功能的隐私合法性验证 | 第47-55页 |
| ·UML 顺序图 | 第48-50页 |
| ·隐私可达图的构造 | 第50-52页 |
| ·指定功能的隐私合法性验证过程 | 第52-55页 |
| ·本章小结 | 第55-56页 |
| 第五章 隐私属性验证工具的设计与实现 | 第56-65页 |
| ·系统设计 | 第56-58页 |
| ·系统结构 | 第56-57页 |
| ·系统流程 | 第57-58页 |
| ·工具实现 | 第58-63页 |
| ·文件解析 | 第58-59页 |
| ·模型以及规约管理 | 第59-63页 |
| ·验证分析 | 第63页 |
| ·应用实例验证分析 | 第63-64页 |
| ·本章小结 | 第64-65页 |
| 第六章 结束语 | 第65-67页 |
| ·本文的主要工作 | 第65-66页 |
| ·进一步的工作 | 第66-67页 |
| 参考文献 | 第67-71页 |
| 致谢 | 第71-72页 |
| 在学期间的研究成果及发表的学术论文 | 第72-73页 |
| 附录 | 第73-79页 |
| 附录1 贷款批准业务流程的WS-BPEL 文档 | 第73-76页 |
| 附录3 贷款批准业务Web 服务的WSDL 文档 | 第76-78页 |
| 附录4 风险评估Web 服务的WSDL 文档 | 第78页 |
| 附录5 信用记录查询Web 服务的WSDL 文档 | 第78-79页 |
| 附录6 专家审核Web 服务的WSDL 文档 | 第79页 |
