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.
- 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.
3 Attached documents:
