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.
- 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.
2 Attached documents:
