Business Process Privacy Analysis in Pleak
This addresses privacy concerns for organizations using business process models, though it appears incremental as it builds on existing analysis methods.
The authors tackled the problem of analyzing privacy leakage in business processes by developing Pleak, a tool that quantifies information leakage from process outputs to inputs, incorporating extensible plugins for detailed inspection.
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.