Refining privacy-aware data flow diagrams

DOI10.1007/978-3-030-92124-8_8zbMATH Open1522.68188MaRDI QIDQ6041278FDOQ6041278

Authors: Hanaa Alshareef, Sandro Stucki, Gerardo Schneider 

Publication date: 26 May 2023

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

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

zbMATH Keywords

refinementGDPRprivacy by designDFDs

Mathematics Subject Classification ID

Privacy of data (68P27)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)