HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

Representing privacy regulations with deontico-temporal operators

Guillaume Piolle 1 Yves Demazeau 2
1 CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition
CentraleSupélec, Inria Rennes – Bretagne Atlantique , IRISA-D1 - SYSTÈMES LARGE ÉCHELLE
2 MAGMA - Modélisation d’agents autonomes en univers multi-agents
LIG - Laboratoire d'Informatique de Grenoble
Abstract : The aim of this study is to provide artificial agents with logical tools to reason specifically on privacy-related regulations, in order to comply with them. In order to express these regulations, the Deontic Logic for Privacy (DLP) is proposed. DLP is a deontic and temporal logic based on predicates dealing with personal data management. Illustrated by an example, it becomes obvious that specific operators are needed to express mixed deontic and temporal notions such as obligations with deadlines and maintained interdictions. A set of eight specific requirements is defined for such operators. The existing proposals in the field are then evaluated with respect to these criteria, and found insufficient. Two new operators are tailored to fit both the DLP formalism and the eight requirements. It is then shown how such operators can be used to translate typical privacy regulations in logical formulae via the DLP language
Complete list of metadata

Contributor : Anne Cloirec Connect in order to contact the contributor
Submitted on : Friday, January 6, 2012 - 10:22:34 AM
Last modification on : Tuesday, April 5, 2022 - 4:58:01 PM



Guillaume Piolle, Yves Demazeau. Representing privacy regulations with deontico-temporal operators. Web Intelligence and Agent Systems, IOS Press, 2011, 9 (3), pp.209-226. ⟨10.3233/WIA-2011-0215⟩. ⟨hal-00657248⟩



Record views