DataProVe: A Data Protection Policy and System Architecture Verification Tool
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2020
- DOI:
- 10.48550/arXiv.2008.08936
- arXiv:
- arXiv:2008.08936
- Bibcode:
- 2020arXiv200808936T
- Keywords:
-
- Computer Science - Cryptography and Security;
- Computer Science - Logic in Computer Science;
- Computer Science - Software Engineering
- E-Print:
- 65 pages. Improved algorithm description and explanation. Semantics of policy language added. More complete list of properties, and inference rules added. More figures and discussion section added. Finally, we refer to this version in our (shorter) paper under review