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

doi:10.3778/j.issn.1673-9418.1305032

计算机科学与探索 ›› 2013, Vol. 7 ›› Issue (10): 905-915.DOI: 10.3778/j.issn.1673-9418.1305032

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

孙艺+，黄志球，沈国华，柯昌博

南京航空航天大学计算机科学与技术学院，南京 210016

出版日期:2013-10-01 发布日期:2013-09-30

Research on P3P Formal Semantics Supporting Conflict Detection

SUN Yi+, HUANG Zhiqiu, SHEN Guohua, KE Changbo

College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China

Online:2013-10-01 Published:2013-09-30

摘要/Abstract

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

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

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

孙艺，黄志球，沈国华，柯昌博. 支持冲突检测的P3P形式化语义研究[J]. 计算机科学与探索, 2013, 7(10): 905-915.

SUN Yi, HUANG Zhiqiu, SHEN Guohua, KE Changbo. Research on P3P Formal Semantics Supporting Conflict Detection[J]. Journal of Frontiers of Computer Science and Technology, 2013, 7(10): 905-915.

[1]	李艳娟，臧明哲，刘晓燕，刘扬，郭茂祖. 结合注意力机制和本体的远程监督关系抽取[J]. 计算机科学与探索, 2020, 14(9): 1554-1562.
[2]	王红，李晗，李浩飞. 民航突发事件领域本体关系提取方法的研究[J]. 计算机科学与探索, 2020, 14(2): 285-293.
[3]	王聪，李瑞轩，辜希武，汤俊伟. 基于XACML的策略冲突检测与消解方法[J]. 计算机科学与探索, 2018, 12(1): 1-16.
[4]	李冬梅，张琪，王璇，檀稳. 基于浅层句法分析和最大熵的问句语义分析[J]. 计算机科学与探索, 2017, 11(8): 1288-1295.
[5]	刘炜，丁宁，杨竣辉，王旭，张雨嘉，刘宗田. 针对环境污染突发事件领域的事件本体模式[J]. 计算机科学与探索, 2016, 10(4): 466-480.
[6]	李致远，冯志勇，王鑫，李元放，饶国政. 基于本体指标的本体版本演变分析方法[J]. 计算机科学与探索, 2016, 10(2): 151-162.
[7]	苏鹏，冯志勇，陈世展. 交互式Web服务语义增强[J]. 计算机科学与探索, 2015, 9(6): 682-691.
[8]	田刚，何克清，孙承爱，赵卫东，赵一. Web服务描述的本体学习方法[J]. 计算机科学与探索, 2015, 9(5): 575-585.
[9]	陆嘉俊，黄志球，王进，沈国华，柯昌博. 面向行为的Web服务组合隐私策略描述研究[J]. 计算机科学与探索, 2013, 7(7): 592-601.
[10]	葛强，沈国华，黄志球，柯昌博，贾哲. Web服务中支持本体推理的隐私保护研究[J]. 计算机科学与探索, 2013, 7(6): 536-544.
[11]	叶荣华，冯伟. 基于规划图的主动服务组合需求模型[J]. 计算机科学与探索, 2013, 7(2): 169-179.
[12]	贾哲，黄志球，王珊珊，沈国华，柯昌博. 支持本体推理的P3P隐私策略冲突检测研究[J]. 计算机科学与探索, 2013, 7(1): 74-82.
[13]	古思山，蔡树彬，李师贤. 一种UML2的交互的形式化语义[J]. 计算机科学与探索, 2012, 6(7): 631-643.
[14]	叶荣华1 , 金芝2,3 , 钟发荣1 . 支持服务组合的需求模型及其可满足性判定[J]. 计算机科学与探索, 2011, 5(5): 458-466.
[15]	阮佳彬+，杨育彬，林金杰，贺广南. 一种知识本体包容性的评价方法[J]. 计算机科学与探索, 2009, 3(6): 633-640.

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

Research on P3P Formal Semantics Supporting Conflict Detection

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics