DataProVe: A Data Protection Policy and System Architecture Verification Tool

Vinh Thong Ta

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 i…