Constructing independently verifiable privacy-compliant type systems for message passing between black-box components

DOI10.1007/978-3-030-03592-1_11zbMath1403.68038arXiv1901.10892OpenAlexW2886280752MaRDI QIDQ1629964

Robin Adams, Sibylle Schupp

Publication date: 7 December 2018

Full work available at URL: https://arxiv.org/abs/1901.10892

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

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

Cites Work

• Preserving Secrecy Under Refinement
• Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications

This page was built for publication: Constructing independently verifiable privacy-compliant type systems for message passing between black-box components