DataProVe: A Data Protection Policy and System Architecture Verification Tool
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.
PDF AbstractCategories
Cryptography and Security
Logic in Computer Science
Software Engineering
Datasets
Add Datasets
introduced or used in this paper