The Leak detection analyzer is a verification tool for checking that the content of certain data objects does not leak to unauthorized parties in Privacy-Enhanced BPMN models.
In particular, this tool is able to check three types of properties:
- If a selected task knows about a specified set of data;
- If a selected participant knows about a specified set of data;
- If secret sharing (PET technology) is preserved.
The Leak detection analyzer is published as an open-source project under the GPL 2 license.
The jar file and its instructions are available at – Link
While the source code is available at – Link
Some example models can be founded here – Link