The projects SWAT, Wolfgang, and SecSy are based on some based libraries, which implement a large part of the underlying data models and functionalities. They can also be used detached from the other projects.
The following subpages contain documentations for the basic libraries:
- JAGAL is a Java library for modelling directed graphs. It comes with implementations of various types of graphs and transition systems, as well as utilities for their modification and traversal.
- SEWOL provides support for the handling of workflow traces and for the definition of access control policies, such as ACLs and RBAC models.
- SEPIA stands for “security-oriented PN framework” and provides implementations for various types of Petri nets.