Work package 2.3 and deliverables

The objectives of this workpackage are :

• to develop tools that will facilitate the analysis of real cases and application scenarios in order to identify security and dependability solutions.

• to develop tools that will facilitate the verification of S&D patterns.

Deliverables :

• A2.D3.1 - Preliminary version of workflow security analysis tools [report] [public]
  

Initial prototype of the tools for the analysis of workflow security requirements and solutions. The prototype will have limited functionality, nevertheless it will demonstrate the core idea of a workflow security analysis tool.

• A2.D3.2 - Second version of workflow security analysis tools delivered [report] [public]
  

This deliverable will be an enhanced prototype of the aforementioned security analysis tool.

• A2.D3.4 - Final version of workflow security analysis and verification tool [report] [public]
  

Description of the final version of Workflow Security Analysis Tool.