Abstract: P3P (platform for privacy preferences) is one of the widely used privacy policy languages in the world today. Service providers inform users how to deal with their private information by P3P privacy policy. In order to solve the problem that P3P privacy policy is hard to be expressed precisely due to the lack of formal semantics, this paper analyzes the P3P requirement of formal semantics and the semantic conflicts in P3P, proposes a P3P formal semantics with a data-recipient structure which supports the conflict detection, and uses OWL (Web ontology language) to describe the semantics. This paper also expounds the method of detecting semantic conflicts and verifies the feasibility of the method through an experiment.

Key words: platform for privacy preferences (P3P), privacy policy, formal semantics, ontology, conflict detection

摘要： 隐私偏好平台（platform for privacy preferences，P3P）是现今世界上广泛使用的隐私策略语言之一，服务提供者通过P3P隐私策略来告知用户如何处理隐私信息。针对P3P隐私策略缺少形式化语义而难以被精确表达的问题，分析了P3P隐私策略对形式化语义的需求以及P3P隐私策略中存在的语义冲突，提出了一种支持冲突检测的data-recipient结构的P3P形式化语义，并用OWL（Web ontology language）本体对该语义进行了描述，阐述了语义冲突的检测方法，并通过实验验证了该方法的可行性。

关键词: 隐私偏好平台（P3P）, 隐私策略, 形式化语义, 本体, 冲突检测