Enhancing user privacy through data handling policies, Data and Applications Security XX, pp.224-236, 2006. ,
, Enterprise Privacy Authorization Language (EPAL). IBM Research, 2003.
A-PPL: An Accountability Policy Language, Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance -9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Revised Selected Papers, vol.8872, pp.319-326, 2014. ,
Principles of Model Checking, 2008. ,
Satisfiability Modulo Theories, pp.305-343, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01095009
Privacy and Contextual Integrity: Framework and Applications, Proceedings of the 27th IEEE Symposium on Security and Privacy, S&P'06, pp.184-198, 2006. ,
S4P: A Generic Language for Specifying Privacy Preferences and Policies, 2010. ,
A Generic Information and Consent Framework for the IoT, Inria, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-02166181
Experiences in the Logical Specification of the HIPAA and GLBA Privacy Laws, Proceedings of the 2010 ACM Workshop on Privacy in the Electronic Society, WPES'10, pp.73-82, 2010. ,
Automatic License Plate Recognition (ALPR): A State-of-the-Art Review, IEEE Trans. Circuits Syst. Video Techn, vol.23, issue.2, pp.311-325, 2013. ,
Automated License Plate Readers (ALPR, 2017. ,
Privacy Expectations and Preferences in an IoT World, Proceedings of the 13th Symposium on Usable Privacy and Security, SOUPS'17, pp.399-412, 2017. ,
A Policy Language for Distributed Usage Control, Proceedings of the 12th European Symposium On Research in Computer Security, ESORICS'07, vol.4734, pp.531-546, 2007. ,
The SPIN Model Checker -Primer and Reference Manual, 2004. ,
Privacy Risk Analysis, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01420968
Privacy Risk Analysis to Enable Informed Privacy Settings, 2018 IEEE European Symposium on Security and Privacy, Workshops, EuroS&P Workshops, pp.95-102, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01939845
A formal privacy management framework, Proceedings of the 5th International Workshop on Formal Aspects in Security and Trust, FAST'08, Revised Selected Papers, vol.5491, pp.162-176, 2008. ,
Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies, Proceedings of the 19th IEEE Computer Security Foundations Workshop, CSFW'06, pp.85-97, 2006. ,
Formal Verification of Legal Privacy Requirements ,
, The UCON ABC Usage Control Model. ACM Trans. Inf. Syst. Secur, vol.7, issue.1, pp.128-174, 2004.
Distributed Usage Control, Commun. ACM, vol.49, issue.9, pp.39-44, 2006. ,
The Platform for Privacy Preferences, Commun. ACM, vol.42, issue.2, pp.48-55, 1999. ,
, Handbook of Automated Reasoning, vol.1, 2001.