关键词: Web服务组合, 面向行为的隐私策略, 可扩展标记语言（XML）

Abstract: Verifying whether Web services composition satisfies with privacy requirement is a hot spot for privacy protection currently. However, little research focuses on behavioral privacy requirement. This paper proposes an approach to describing behavior-oriented privacy requirement that limits temporal relationship betwween private data access and service invocation in order to lay the foundation for formal verification of the requirement. Firstly, this paper introduces the behavior-oriented privacy policy model taking into account features like purpose and obligations, which is expressed with six-tuple. Then, it presents the definition with extensible markup language (XML) schema, corresponding with the model, and achieves the transformation of privacy policies from the natural language to XML document. Finally, the effectiveness of the proposed method is illustrated through a case.

Key words: Web services composition, behavior-oriented privacy policy, extensible markup language (XML)