SecureBPMN

SecureBPMN is a domain-specific modeling language that allows to model security aspects (e.g., access control, separation of duty, confidentiality). SecurePBPMN is defined as a meta-model that can easily be integrated into BPMN and, thus, can be used for modeling secure and business processes as well as secure service compositions.

Activit BPMN Modeller with SecureBPMN Analysis

The SecureBPMN tool chain does not only support modeling of secure business process and service compositions: it also supports the formal analysis both on the level of SecureBPMN models as well as refinement properties between the model and the actual implementation.

Source Code

The source code is released under the Apache 2.0 license: https://git.logicalhacking.com/SecureBPMN/SecureBPMN.

Related Publications

2015

2014

2013

2012

2010

2009