Pleak is a tool to capture and analyze privacy-enhanced business process models to characterize and quantify to what extent the outputs of a process leak information about its inputs. Pleak incorporates an extensible set of analysis plugins, which enable users to inspect potential leakages at multiple levels of detail.
@article{arxiv.1902.05052,
title = {Business Process Privacy Analysis in Pleak},
author = {Aivo Toots and Reedik Tuuling and Maksym Yerokhin and Marlon Dumas and Luciano García-Bañuelos and Peeter Laud and Raimundas Matulevičius and Alisa Pankova and Martin Pettai and Pille Pullonen and Jake Tom},
journal= {arXiv preprint arXiv:1902.05052},
year = {2019}
}
Comments
Appears at 22nd International Conference on Fundamental Approaches to Software Engineering (FASE), April 2019