Tool Support of Formal Methods for Privacy by Design
Cryptography and Security
2019-03-28 v1 Logic in Computer Science
Abstract
Formal methods are, in principle, suited for supporting the recent paradigm of privacy by design, but no overview is available that summarizes which particular approaches have been investigated, for which application domains they are suited, and whether they are implemented and available as tools. Using the techniques of search-based literature review and snowballing this paper answers those questions for a selected set of research papers.
Cite
@article{arxiv.1903.11092,
title = {Tool Support of Formal Methods for Privacy by Design},
author = {Sibylle Schupp},
journal= {arXiv preprint arXiv:1903.11092},
year = {2019}
}