Representing privacy regulations with deontico-temporal operators
作者： Guillaume Piolle , Yves Demazeau
关键词:
摘要: The aim of this study is to provide artificial agents with logical tools reason specifically on privacy-related regulations, in order comply them. In express these the Deontic Logic for Privacy (DLP) proposed. DLP a deontic and temporal logic based predicates dealing personal data management. Illustrated by an example, it becomes obvious that specific operators are needed mixed notions such as obligations deadlines maintained interdictions. A set eight requirements defined operators. existing proposals field then evaluated respect criteria, found insufficient. Two new tailored fit both formalism requirements. It shown how can be used translate typical privacy regulations formulae via language.
archives-ouvertes.fr
researchgate.net 
sci-hub.st 参考文章(17)
Yves Deswarte, Carlos Aguilar Melchor, Current and future privacy enhancing technologies for the internet Annales Des Télécommunications. ,vol. 61, pp. 399- 417 ,(2006) , 10.1007/BF03219914
Guillaume Piolle, Agents utilisateurs pour la protection des données personnelles : modélisation logique et outils informatiques Université Joseph-Fourier - Grenoble I. ,(2009)
Knut Erik Tranøy, On the Logic of Normative Systems dagstuhl seminar proceedings. pp. 0- ,(2007)
Henrique Lopes Cardoso, Eugénio Oliveira, Directed deadline obligations in agent-based business contracts coordination organizations institutions and norms in agent systems. pp. 225- 240 ,(2009) , 10.1007/978-3-642-14962-7_15
Brian F. Chellas, Modal Logic: An Introduction ,(1980)
F.P.M. Dignum, J.M. Broersen, Virginia Dignum, John-Jules Meyer, Meeting the Deadline: Why, When and How Formal Approaches to Agent-Based Systems (FAABS 2004). pp. 30- 40 ,(2005)
Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali, A State/Event Temporal Deontic Logic Deontic Logic and Artificial Normative Systems. pp. 85- 100 ,(2006) , 10.1007/11786849_9
Guillaume Piolle, Yves Demazeau, Jean Caelen, Privacy Management in User-Centred Multi-agent Systems Lecture Notes in Computer Science. pp. 354- 367 ,(2007) , 10.1007/978-3-540-75524-1_20
Frank Dignum, Jan Broersen, Virginia Dignum, John-Jules Meyer, Meeting the deadline: why, when and how FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems. pp. 30- 40 ,(2004) , 10.1007/978-3-540-30960-4_3
Mats Carlsson, Greger Ottosson, Björn Carlson, An Open-Ended Finite Domain Constraint Solver international symposium on programming language implementation and logic programming. ,vol. 1292, pp. 191- 206 ,(1997) , 10.1007/BFB0033845