Formal models for consent-based privacy

DOI10.1016/j.jlamp.2022.100789OpenAlexW4283156052WikidataQ114159205 ScholiaQ114159205MaRDI QIDQ2168784

Duangdao Wichadakul, Neda Peyrone

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)

Cites Work

• A Formal Model of Data Privacy
• Typed Lambda Calculi and Applications
• Unnamed Item
• Unnamed Item

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