DataProVe: A Data Protection Policy and System Architecture Verification Tool

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.