Notice: Function _load_textdomain_just_in_time was called incorrectly. Translation loading for the popup-by-supsystic domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /dati/html/wordpress/pros/wp-includes/functions.php on line 6121
Leak detection in a PE-BPMN – PROS

Leak detection in a PE-BPMN

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