论文标题
DataProve：数据保护政策和系统体系结构验证工具
DataProVe: A Data Protection Policy and System Architecture Verification Tool
论文作者
论文摘要
在本文中，我们提出了一种称为Dataprove的工具，用于指定高级数据保护策略和系统体系结构，并以完全自动化的方式验证它们之间的符合性。策略和体系结构的语法基于半正式语言，自动验证引擎依赖于基于逻辑和解决方案的证据。使用不同的示例显示该工具的功能和操作。
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.
