随着计算机技术的迅速发展,Web服务组合越来越广泛的应用于互联网中。用户在使用服务组合时需要提供一些个人隐私信息来完成必要的业务功能,确保服务组合在满足用户功能性需求的前提下,保障用户的隐私信息是服务组合隐私保护的关键性问题。因此在Web服务组合的设计阶段,需要一种隐私分析和验证方法来保证服务组合中的隐私信息安全。信息流分析方法是一种通过使用信息流策略保障系统端到端的信息传输安全性的方法,本文提出一种信息流分析方法对服务组合的隐私数据进行保护,从而保障用户的隐私信息安全。本文的主要内容如下:(1)提出Web服务组合隐私策略形式化规约方法。使用隐私数据项依赖图模型构造服务组合中隐私数据项间的依赖关系;提出基于隐私数据使用目的的格模型对隐私策略进行规约。(2)提出Web服务组合隐私行为建模与验证方法。该方法采用隐私开放工作流网模型对BPEL的隐私行为进行建模,并将信息流的无干扰性属性转化为隐私开放工作流网的基于库所的无干扰性,通过分析隐私开放工作流网中的基于库所的无干扰性属性,验证服务组合的隐私行为是否满足隐私策略的规约。(3)设计并实现了服务组合隐私信息流分析与验证原型工具。利用该工具对服务组合的隐私行为进行细粒度的信息流分析和验证,最后通过网络购物服务组合的案例说明了所提出的理论和方法的有效性。