Formal models for consent-based privacy

DOI10.1016/J.JLAMP.2022.100789OpenAlexW4283156052WikidataQ114159205 ScholiaQ114159205MaRDI QIDQ2168784FDOQ2168784

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

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

zbMATH Keywords

formal methoddata protectionevent-Bconsent managementGDPRprivacy by design

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

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

Cited In (1)

• Formalizing data deletion in the context of the right to be forgotten

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)