The Coprelobri project: the logical approach to privacy

The aim of the Coprelobri project (standing for " Computers and privacy regulations: the logical bridge ") is to provide tools to design , verify and enforce privacy policies, using logic as a means to reach this goal. The backbone of the project is the design of a logical language that can be used to represent and reason on privacy policies. In a first stage, this language, primarily based on epistemic and deontic logics, will be used to model current privacy regulations. Afterwards, theorem proving and model checking techniques will then be adapted to this language to build practical software tools for regulation makers, corporate lawyers, computer engineers and end users. Given the aims and expectations of this project, it is of paramount importance to take a truly multidisciplinay approach in which computer scientists and legal experts participate jointly to this research.

[1]  N. Malcolm.  On Knowledge and Belief , 1954 .

[2]  J. Delville.  Introduction a la theorie formelle du droit , 1992 .

[3]  Frédéric Cuppens,et al.  A logical formalization of secrecy , 1993, [1993] Proceedings Computer Security Foundations Workshop VI.

[4]  F. Cuppens,et al.  A logical analysis of authorized and prohibited information flows , 1993, Proceedings 1993 IEEE Computer Society Symposium on Research in Security and Privacy.

[5]  Rudolf Schmid,et al.  Organization for the advancement of structured information standards , 2002 .

[6]  Günter Karjoth,et al.  A privacy policy model for enterprises , 2002, Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15.

[7]  Michael R. Genesereth,et al.  Computational law , 2005, ICAIL '05.

[8]  Paul McNamara,et al.  Deontic logic , 2006, Logic and the Modalities in the Twentieth Century.

[9]  Caroline Lancelot Miltgen.  Dévoilement de soi et réponses du consommateur face à une sollicitation de ses données personnelles : une application aux formulaires sur Internet , 2006 .

[10]  Yves Demazeau,et al.  Obligations with Deadlines and Maintained Interdictions in Privacy Regulation Frameworks , 2008, 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology.

[11]  Guillaume Piolle,et al.  Agents utilisateurs pour la protection des donn , 2009 .

[12]  Yves Demazeau,et al.  Déléguer la protection des données personnelles à des agents cognitifs , 2010, Rev. d'Intelligence Artif..

[13]  Guido Boella,et al.  Privacy Policies with Modal Logic: The Dynamic Turn , 2010, DEON.

[14]  Mirina Grosz,et al.  World Wide Web Consortium , 2010 .