The following software has been produced by SERSCIS and is released under an open source licence. Details of the licence are given in the downloaded software.

SERSCIS Access Modeller

The SERSCIS Access Modeller (SAM) takes a model of a system (e.g. a set of objects within a computer program or a set of machines on a network) and attempts to verify certain security properties about the system, by exploring all the ways access can propagate through the system.

SAM installation instructions
SAM documentation

Service management framework and emulated airport application services

The software can be installed using the 0install software installation system. During the installation process, you will prompted to trust GPG keys from this site and from other sites hosting dependent packages. Documentation for the software is available online.

On Windows:

  1. Install 0install from
  2. Open a command-prompt (Start -> Run -> cmd)
  3. Change (‘cd’) to a directory where the database can be created
  4. Run the following command: 0launch

On Linux:

  1. Install 0install from (click on the big green button)
  2. Open a terminal
  3. Change to a directory where the database can be created
  4. Run the following command: 0launch

System composition components

System composition components are available for download.

The system composition components allow for the execution of business processes formulated as annotated BPEL workflows. Services are bound to workflow instances dynamically at run-time. This is done by evaluating annotations to identify services that are suitable for handling a late bound service request. Late binding additionally enables the usage of dynamic fault handling strategies like retry, blacklist or switch service.

The framework is based on Apache ServiceMix and Apache ODE. Details of the license and contact data are given in the downloaded software.

Installation instructions are available in the downloaded software.

SERSCIS System Model

The SERSCIS system model can be downloaded as a set of OWL ontologies. The ontologies can be viewed and edited using an OWL editor, such as Protégé, and integrated using a library, such as the OWL API.