|
- Description of work (Annex I) [.pdf ]
- Periodic Progress Report for Period P1: 01.01.08 --- 31.12.08 [.pdf ]
- Periodic Progress Report for Period P2: 01.01.09 --- 31.12.09 [.pdf ]
- D 1.1 Project presentation [.pdf ]
- D 1.2 Basic Dissemination and Use Plan [.pdf ]
- D 1.3 Progress/Assessment Report for Year 1 [.pdf ]
- D 1.4 Progress/Assessment Report for Year 2 [.pdf ]
- D 1.5 Final Project Report [Access to this deliverable is restricted, please contact
This e-mail address is being protected from spam bots, you need JavaScript enabled to view it
This e-mail address is being protected from spam bots, you need JavaScript enabled to view it ]
- D 1.6 Final Dissemination and Use Plan [.pdf ]
- D 1.7 Technology Implementation Plan (TIP) [.pdf ]
- D 2.1 Requirements for modeling and ASLan v.1 [.pdf ]
- D 2.2 ASLan v.2 with static service and policy composition [.pdf ]
- D 2.3 ASLan final version with dynamic service and policy composition [.pdf ]
- D 2.3 (update) ASLan++ specification and tutorial [.pdf ]
- D 3.1 Decision Procedures for Service Synthesis and Satisfiability of ASLan Policies [.pdf ]
- D 3.2 Model-Checking Techniques [.pdf ]
- D 3.3 Attacker Models [.pdf ]
- D 3.4 Abstraction and Compositional Reasoning Techniques for Service Analysis [.pdf ]
- D 4.1 AVANTSSAR Validation Platform v.1 [.pdf ]
- D 4.2 AVANTSSAR Validation Platform v.2 [.pdf ]
- D 5.1 Problem Cases and their Trust and Security Requirements [.pdf ]
- D 5.2 Formalized problem cases [Access to this deliverable is restricted, please contact
This e-mail address is being protected from spam bots, you need JavaScript enabled to view it
This e-mail address is being protected from spam bots, you need JavaScript enabled to view it ]
- D 5.3 AVANTSSAR Library of validated problem cases [.pdf ]
- D 5.4 Assessment of the AVANTSSAR Validation Platform [.pdf ]
- D 6.2.1 State-of-the-Art on Specification Languages for Service-Oriented Architectures [.pdf ]
- D 6.2.2 Industrial language requirements [Access to this deliverable is restricted, please contact
This e-mail address is being protected from spam bots, you need JavaScript enabled to view it
]
- D 6.2.3 Migration to industrial development environments: lessons learned and best practices [.pdf ]
- D 6.3 Migration to standardisation bodies [.pdf ]
|
