Model-Checking the Implementation of Consent
Authors:
- 26 November 2024
- book chapter
- Published by Springer Nature
- p. 253-271
Abstract
No abstract availableKeywords
All Related Versions
This publication has 21 references indexed in Scilit:
- Peering into the Darkness: The Use of UTRS in Combating DDoS Attacks2024
- Understanding Inconsistency in Azure Cosmos DB with TLA+2023
- DPL: A Language for GDPR Enforcement2022
- A Formal Framework for Consent Management2020
- Analysis of Privacy Policies to Enhance Informed Consent2019
- Bluetooth tracking of humans in an indoor environment: An application to shopping mall visitsApplied Geography, 2017
- Refinement checking for privacy policiesScience of Computer Programming, 2012
- P3P deployment on websitesElectronic Commerce Research and Applications, 2008
- Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies2006
- The existence of refinement mappingsTheoretical Computer Science, 1991