Design-driven Security Features, Monitors and Validators

Technical report including the s/w components developed to support design-driven security. This deliverable aims to be periodically updated throughout the project's lifetime. In particular, the initial version of this deliverable is foreseen to be produced in M24 while an updated version will follow in M30.