%0 Journal Article %A 孙艺 %A 黄志球 %A 沈国华 %A 柯昌博 %T 支持冲突检测的P3P形式化语义研究 %D 2013 %R 10.3778/j.issn.1673-9418.1305032 %J 计算机科学与探索 %P 905-915 %V 7 %N 10 %X 隐私偏好平台(platform for privacy preferences,P3P)是现今世界上广泛使用的隐私策略语言之一,服务提供者通过P3P隐私策略来告知用户如何处理隐私信息。针对P3P隐私策略缺少形式化语义而难以被精确表达的问题,分析了P3P隐私策略对形式化语义的需求以及P3P隐私策略中存在的语义冲突,提出了一种支持冲突检测的data-recipient结构的P3P形式化语义,并用OWL(Web ontology language)本体对该语义进行了描述,阐述了语义冲突的检测方法,并通过实验验证了该方法的可行性。 %U http://fcst.ceaj.org/CN/10.3778/j.issn.1673-9418.1305032