Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

Refining privacy-aware data flow diagrams

From MaRDI portal
Publication:6041278
Jump to:navigation, search

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


Authors: Hanaa Alshareef, Sandro Stucki, Gerardo Schneider Edit this on Wikidata


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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6041278&oldid=35462147"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 10 July 2024, at 05:38. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki