Formal models for consent-based privacy

DOI10.1016/J.JLAMP.2022.100789MaRDI QIDQ2168784zbMATH OpenOpenAlexWikidataFDO

Authors Neda Peyrone, Duangdao Wichadakul

Publication date 26 August 2022

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlamp.2022.100789

zbMATH Keywords

formal methoddata protectionevent-Bconsent managementGDPRprivacy by design

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• Static checking of GDPR-related privacy compliance for object-oriented distributed systems
• Constructing independently verifiable privacy-compliant type systems for message passing between black-box components
• Diagrammatically Formalising Constraints of a Privacy Ontology
• scientific article; zbMATH DE number 1949692
• A logic programming approach for access control over RDF

Cites work

• A formal model of data privacy
• Modeling in Event B. System and software engineering.
• Refinement, decomposition, and instantiation of discrete models: application to Event-B
• Typed Lambda Calculi and Applications

Cited in

(2)

• Formalizing data deletion in the context of the right to be forgotten
• Static checking of GDPR-related privacy compliance for object-oriented distributed systems

This page was built for publication: Formal models for consent-based privacy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2168784)