DataProVe: A Data Protection Policy and System Architecture Verification Tool
Cryptography and Security
2020-12-18 v4 Logic in Computer Science
Software Engineering
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.
Cite
@article{arxiv.2008.08936,
title = {DataProVe: A Data Protection Policy and System Architecture Verification Tool},
author = {Vinh Thong Ta},
journal= {arXiv preprint arXiv:2008.08936},
year = {2020}
}
Comments
65 pages. Improved algorithm description and explanation. Semantics of policy language added. More complete list of properties, and inference rules added. More figures and discussion section added. Finally, we refer to this version in our (shorter) paper under review