| 摘要 | 第1-5页 |
| Abstract | 第5-6页 |
| 第一章 绪论 | 第6-10页 |
| ·研究背景 | 第6-8页 |
| ·研究内容 | 第8-9页 |
| ·论文结构 | 第9-10页 |
| 第二章 相关理论与技术 | 第10-14页 |
| ·WS-BPEL介绍 | 第10-11页 |
| ·XACML介绍 | 第11-12页 |
| ·策略合成研究相关工作 | 第12-13页 |
| ·WS-BPEL中策略研究 | 第13-14页 |
| 第三章 基于条件的策略合成代数 | 第14-20页 |
| ·基于条件的访问控制策略定义 | 第14-15页 |
| ·策略合成算子 | 第15-16页 |
| ·策略合成衍生算子 | 第16-18页 |
| ·转化XACML中的Combination Algorithm | 第18-20页 |
| 第四章 WS-BPEL控制语义 | 第20-35页 |
| ·WS-BPEL条件控制结构 | 第20-21页 |
| ·简单WS-BPEL控制结构分析 | 第21-25页 |
| · | 第22页 |
| · | 第22-23页 |
| · | 第23页 |
| · | 第23-24页 |
| · | 第24-25页 |
| ·复杂WS-BPEL控制结构分析 | 第25-35页 |
| ·P-CBAC模型 | 第25-28页 |
| ·P-CBAC策略合成算子改进 | 第28页 |
| ·复杂WS-BPEL控制结构的处理 | 第28-35页 |
| 第五章 系统实现与评估 | 第35-47页 |
| ·策略合成流程概述 | 第35-38页 |
| ·基于条件的访问控制策略合成算法 | 第38-47页 |
| ·策略转化 | 第38-42页 |
| ·Decision Diagram合成 | 第42-43页 |
| ·XACML策略生成 | 第43-47页 |
| 第六章 结论与展望 | 第47-49页 |
| ·结论 | 第47-48页 |
| ·展望 | 第48-49页 |
| 参考文献 | 第49-52页 |
| 致谢 | 第52-53页 |