Static checking of GDPR-related privacy compliance for object-oriented distributed systems

DOI10.1016/J.JLAMP.2021.100733OpenAlexW3211709080MaRDI QIDQ2669242

Shukun Tokas, Toktam Ramezanifarkhani, Olaf Owe

Publication date: 9 March 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.2021.100733

zbMATH Keywords

privacystatic analysisGDPRdata protection by designlanguage-based privacyprivacy compliance

Mathematics Subject Classification ID

Computer science (68-XX)

Uses Software

• Maude
• Creol

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Creol: A type-safe object-oriented model for distributed concurrent systems
• Maude: specification and programming in rewriting logic
• Constructing independently verifiable privacy-compliant type systems for message passing between black-box components
• A secrecy-preserving language for distributed and object-oriented systems
• An evaluation of interaction paradigms for active objects
• Dynamic structural operational semantics
• IT-security and privacy. Design and use of privacy-enhancing security mechanisms. Foreword by Klaus Brunnstein

This page was built for publication: Static checking of GDPR-related privacy compliance for object-oriented distributed systems