论文部分内容阅读
验证wleb服务组合是否满足用户隐私需求，是目前Web服务组合中隐私保护的研究热点，但现有研究很少关注带有行为特征的隐私需求。提出了一种限制隐私数据访问与服务调用时序关系的面向行为隐私需求的描述方法，为其形式化验证奠定了基础。给出了带有目标和义务等特性的面向行为的隐私策略模型，并使用六元组进行表示。给出了该模型的XMLSchema定义，在此基础上实现了自然语言描述的隐私需求到XML表示的隐私策略的转换。通过案例分析说明了该方法的有效性。