Privacy Policies with Modal Logic: The Dynamic Turn, Deontic Logic in Computer Science, pp.196-213, 2010. ,
DOI : 10.1007/978-3-642-14183-6_15
URL : https://hal.archives-ouvertes.fr/inria-00556079
Les technologies de linformation au service des droits : opportunits, dfis, limites, chapitre " Quelles solutions techniques pour rsoudre les problmes juridiques poss par la technique, 2010. ,
A logical analysis of authorized and prohibited information flows, Proceedings 1993 IEEE Computer Society Symposium on Research in Security and Privacy, pp.100-109, 1993. ,
DOI : 10.1109/RISP.1993.287639
A logical formalization of secrecy, [1993] Proceedings Computer Security Foundations Workshop VI, pp.53-62, 1993. ,
DOI : 10.1109/CSFW.1993.246639
Introduction la thorie formelle du droit, 1992. ,
Knowledge and Belief, 1962. ,
A privacy policy model for enterprises, Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15, 2002. ,
DOI : 10.1109/CSFW.2002.1021821
Dévoilement de soi et réponses du consommateur face une sollicitation de ses donnes personnelles : une application aux formulaires sur Internet, 2006. ,
Computational law, Proceedings of the 10th international conference on Artificial intelligence and law , ICAIL '05, pp.205-209, 2005. ,
DOI : 10.1145/1165485.1165517
Agents utilisateurs pour la protection des donnes personnelles : modlisation logique et outils informatiques, 2009. ,
Obligations with Deadlines and Maintained Interdictions in Privacy Regulation Frameworks, 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, pp.162-168, 2008. ,
DOI : 10.1109/WIIAT.2008.168
URL : https://hal.archives-ouvertes.fr/inria-00423807
D??l??guer la protection des donn??es personnelles ?? des agents cognitifs, Revue d'intelligence artificielle, vol.24, issue.3, pp.357-390, 2010. ,
DOI : 10.3166/ria.24.357-390
Deontic logic. Mind, pp.1-15, 1951. ,
Platform for Privacy Preferences specification 1.1, 2006. ,