Work package 1.4 and deliverables

The objective of this workpackage is the development and evaluation of Computer aided mechanisms and tools for the static verification of Security and Privacy patterns.

Three steps :

• Development of an initial version of verification and customization prototype.
  

Design and development of an initial prototype for the static analysis of security & privacy legal and organizational solutions. The work will be driven by the findings of the review of the state of the art in modelling and specifications for security and privacy (A1.D1.1).

• Evaluation of V1 of static validation prototype.
  

Preliminary evaluation of the initial static validation prototype on the preliminary instantiation of SERENITY validation scenarios of Security and Privacy patterns. This evaluation is focused on assessing the effectiveness and correctness of the validation capabilities of the prototype and will be informed by the initial set of evaluation criteria that will be developed as part of the A7 activity.

• Starting development of the final version of the static validation prototype.

Deliverables :

• A1.D4.1 - Preliminary version of the static analysis tool [report] [public]
  

Initial prototype of the tools for the static analysis of security &privacy legal and organizational solutions. The prototype will have limited functionality, nevertheless it will demonstrate the core idea of the security analysis tool.

• A1.D4.2 - Evaluation of Static Analysis Tool [prototype] [public]
  

Enhanced version of A1.D4.1.

• A1.D4.3 - Enhanced version of the verification and customization tool [prototype] [public]

• A1.D4.4 - Static analysis tools