TY - GEN
T1 - Formalizing and reasoning with P3P policies using a semantic web ontology
AU - Suntisrivaraporn, Boontawee
AU - Khurat, Assadarat
PY - 2011
Y1 - 2011
N2 - Privacy has become a crucial issue in the online services realm. P3P policy, which is a privacy policy, enables websites to express their privacy practices so that users can be well-informed about the data collection and its usage. Besides, this privacy policy can be checked against its users' privacy preferences to help decide whether or not the service should be used. However, the interpretation of a P3P policy is unwieldy due to the lack of a precise semantics of its descriptions and constraints. For instance, it is admissible to have purpose and recipient values that have inconsistent meaning. There is a need for an explicit formal semantics for P3P policy to mitigate this problem. In this paper, we propose to use an OWL ontology to systematically and precisely describe the structures and constraints inherent in the P3P specification. Additional constraints are also defined and incorporated into the ontology in such a way that P3P policy verification can be automated with the help of an OWL reasoner.
AB - Privacy has become a crucial issue in the online services realm. P3P policy, which is a privacy policy, enables websites to express their privacy practices so that users can be well-informed about the data collection and its usage. Besides, this privacy policy can be checked against its users' privacy preferences to help decide whether or not the service should be used. However, the interpretation of a P3P policy is unwieldy due to the lack of a precise semantics of its descriptions and constraints. For instance, it is admissible to have purpose and recipient values that have inconsistent meaning. There is a need for an explicit formal semantics for P3P policy to mitigate this problem. In this paper, we propose to use an OWL ontology to systematically and precisely describe the structures and constraints inherent in the P3P specification. Additional constraints are also defined and incorporated into the ontology in such a way that P3P policy verification can be automated with the help of an OWL reasoner.
UR - https://www.scopus.com/pages/publications/84055189569
U2 - 10.1007/978-3-642-25725-4_8
DO - 10.1007/978-3-642-25725-4_8
M3 - Conference contribution
AN - SCOPUS:84055189569
SN - 9783642257247
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 87
EP - 99
BT - Multi-Disciplinary Trends in Artificial Intelligence - 5th International Workshop, MIWAI 2011, Proceedings
T2 - 5th Multi-Disciplinary International Workshop on Artificial Intelligence, MIWAI-2011
Y2 - 7 December 2011 through 9 December 2011
ER -