DataProVe: A Data Protection Policy and System Architecture Verification Tool
Vinh Thong Ta

TL;DR
DataProVe is an automated tool that verifies the conformance of high-level data protection policies with system architectures using logic-based proofs, aiding compliance and system design.
Contribution
The paper introduces DataProVe, a novel tool for formal specification and automated verification of data protection policies against system architectures.
Findings
Successfully verifies conformance in various examples
Automates policy-architecture consistency checks
Uses logic and resolution-based proofs for verification
Abstract
In this paper, we propose a tool, called DataProVe, for specifying high-level data protection policies and system architectures, as well as verifying the conformance between them in a fully automated way. The syntax of the policies and the architectures is based on semi-formal languages, and the automated verification engine relies on logic and resolution based proofs. The functionality and operation of the tool are presented using different examples.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSecurity and Verification in Computing · Access Control and Trust · Advanced Malware Detection Techniques
