Refining privacy-aware data flow diagrams

DOI10.1007/978-3-030-92124-8_8MaRDI QIDQ6041278zbMATHFDO

Authors Hanaa Alshareef, Sandro Stucki, Gerardo Schneider

Publication date 26 May 2023

Published in Software Engineering and Formal Methods (Search for Journal in Brave)

zbMATH Keywords

refinementGDPRprivacy by designDFDs

Mathematics Subject Classification ID

Privacy of data (68P27)

Recommendations

• Diagrammatically Formalising Constraints of a Privacy Ontology
• Refinement checking for privacy policies
• A formal semantics of data flow diagrams
• Refinement patterns for ASTDs
• Refinement inference for sequence diagrams

Cites work

• scientific article; zbMATH DE number 46957 (Why is no real title available?)
• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• Refinement, decomposition, and instantiation of discrete models: application to Event-B

Cited in

(1)

• Diagrammatically Formalising Constraints of a Privacy Ontology

This page was built for publication: Refining privacy-aware data flow diagrams

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