Tool Support of Formal Methods for Privacy by Design

03/26/2019
by   Sibylle Schupp, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset