DataProVe: A Data Protection Policy and System Architecture Verification Tool
This addresses data protection compliance for organizations, but it is incremental as it builds on existing verification methods.
The authors tackled the problem of verifying conformance between data protection policies and system architectures by proposing DataProVe, a tool that uses semi-formal languages and automated logic-based verification, with functionality demonstrated through examples.
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.