A3.D3.3 Network and devices security analysis and verification tool
This deliverable is a report on the final prototype of the tool for static security analysis and verification of S&D solutions and patterns for networks and devices. The final prototype is based on the extended prototype of the SH Verification Tool presented in deliverable A3.D3.2. Contributions with respect to the extended version concentrate on combining the formal modelling and verification tool with real system components, like a TPM emulator. This report also includes a short tutorial explaining how to use the new extensions.
A2.D3.4 - Workflow Security Analysis tool updated
This document contains an updated description (1.2) of the final version of Workflow Security Analysis Tool developed, which is a product of the SERENITY Project (Activity 2). This document can be used as a guide for the installation and use of this tool, and it includes examples of its functionality. Final version’s enhancements include minor changes in the interface and addition of the BPEL to APA converter.
A8.D4.2 - Draft Business Plan
(restricted, SERENITY partners only)
This deliverable provides an attempt to define a business plan for carefully exploiting the SERENITY results. While in the final year of development, the project has produced a well defined set of results that will be analyzed and based on the market analysis. We will firstly identify the possible target markets, analyze the competitive advantages of SERENITY and sketch a potential commercial and marketing strategy. This business plan will allow the consortium to start materializing the required actions for immediate commercialization of the project’s results.
Differing from the previous version of the business plan deliverable, this final and updated version provides financial figures and a specific time-plan for the various required actions, as the SERENITY results are now available and a more valid estimate can be made.
