Work package 5.3 and deliverables

The specification of S&D Patterns and Integration Schemes must include references to the properties provided by the Pattern or Integration Scheme. This WP will address the specification of S&D properties and the development of mechanisms for reasoning about them and supporting their interoperability. Based on the descriptions of the properties and the concepts of S&D Patterns and Integration Schemes, these reasoning mechanisms will be used for the transformation of "real world" security and dependability requirements, into rigorous, accurate, traceable, realizable and accountable solutions.

Deliverables :

• A5.D3.1 - Security properties specification language [report] [public]
  

Description of the Security properties specification language.

• A5.D3.2 - Security Properties Specification Language (final version) and Property Reasoning Mechanisms [report] [public]
  

This document describes a framework for the formal specification of security and dependability properties, including associated reasoning mechanisms and an operational infrastructure.