Work package 3.3 and deliverables

 >> Deliverables:

The main objective of this work package is to provide methods and tools for the formal verification, attack simulation and model based testing of S & D solutions specified in WP3.4 with respect to S & D requirements specified in WP3.3. Further, static validation tools for S&D patterns to be integrated in the SERENITY framework will be developed.

Based on the results of the state of the art review, suitable existing methods and tools will be developed to account for the special needs for the analysis of S&D solutions in heterogeneous and dynamic computing environments. Among other requirements, they need to enable the abstraction and refinement of specified solutions.

Evaluation is an on-going process that ensures that the tools are properly developed and meet their objectives.

Deliverables:

• A3.D3.1 - Preliminary versions of network and devices security analysis and verification tools [prototype] [confidential]
  

Report on the first version of the tools for static security analysis and verification of S&D solutions and patterns for networks and devices. It includes a first draft of a tutorial explaining how to use the tools.

• A3.D3.2 - Enhanced version of network and devices security analysis and verification tools [prototype] [confidential]
  

Report on the extended version of the tools for static security analysis and verification of S&D solutions and patterns for networks and devices. It includes a short tutorial explaining how to use the new extensions.