Downloads

Useful links:

Hosting provided by:

We are using YourKit's Java Profiler. YourKit is kindly supporting open source projects with its full-featured Java Profiler. YourKit, LLC is creator of innovative and intelligent tools for profiling Java and .NET applications. Take a look at YourKit's leading software products: YourKit Java Profiler and YourKit .NET Profiler.

ProM is a project by the Process Mining Group, Eindhoven Technical University. © 2010, page designed by Eric Verbeek.

ProMSecCo

This page contains the ProMSecCo prototype. ProMSecCo has been developed to support semantic process mining, in the context of PoSecCo, and is based on ProM6, the de facto standard toolkit for process mining.

ProM6 provides functionality to handle large sets of execution data in the form of event logs and provides an extensible framework through so-called packages. This way, functionality can easily be added, and existing functionality can easily be reused by installing the relevant packages. Furthermore, it allows to distribute packages under a different license than ProM6 itself, which is the Gnu Public License (GPL).

The main package developed in the context of PoSecCo is the PoSecCo package, which is distributed under the Lesser Gnu Public License (L-GPL). Next to this main package, three other packages (Ontologies, Saxon, and UML20) have been developed that support the PoSecCo package. These packages are distributed under the L-GPL, Mozilla Public License (MPL), and Eclipse Public License (EPL). We use the name ProMSecCo to refer to ProM6 extended with the PoSecCo package.

As ProM6 is a tool that mainly targets knowledge workers, it heavily depends on a graphical user interface. Nevertheless, ProM6 also has a command-line interface, through which (limited) functionality is also available. Please note that ProM6 is only an analysis tool, as a result it does not support the retrieval and storage of event data itself but relies on other tools for this.

Within the context of this project, this deliverable proposes an architecture to automate parts of the tasks of the knowledge worker, i.e. the auditor. The architecture comprises a component to retrieve system execution data, a component to transform the system execution data into the appropriate event logs to validate properties such as policies and security constraints, and a web service to be called from the PoSecCo tool.

Installation instructions

Download the zip archive, and extract its contents in some folder. Run the extracted ProMSecCoPM.bat file. This will start the ProMSecCo package manager, using which you can add and/or remove packages. Install the package AllPackages by selecting and selecting the Install button. This will install the proper packages. When done, close the ProMSecCo package manager. Run the extracted ProMSecCo.bat file. This will start ProMSecCo.

Note that this installation also includes the packages LogDialog and InteractiveVisualization (both L-GPL). These packages have not been mentioned in our final deliverable (D4.9), and are not strictly necessary. They are included to allow the user to view event logs, which makes life a bit easier.