支持冲突检测的P3P形式化语义研究  

Research on P3P Formal Semantics Supporting Conflict Detection

作　　者：孙艺[1] 黄志球[1] 沈国华[1] 柯昌博[1] 

机构地区：[1]南京航空航天大学计算机科学与技术学院,南京210016

出　　处：《计算机科学与探索》2013年第10期905-915,共11页Journal of Frontiers of Computer Science and Technology

基　　金：国家自然科学基金No.61272083;中央高校基本科研业务费专项资金No.56XAA12022;南京航空航天大学博士学位论文创新与创优基金No.BCXJ12-14~~

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

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]