|
- Description of work (Annex I) [.pdf ]
- Periodic Progress Report for Period P1: 01.01.08 --- 31.12.08 [.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 2.1 Requirements for modeling and ASLan v.1 [.pdf ]
- D 2.2 ASLan v.2 with static service and policy composition [.pdf ]
- D 3.2 Model-Checking Techniques [.pdf ]
- D 3.3 Attacker Models [.pdf ]
- D 4.1 AVANTSSAR Validation Platform v.1 [.pdf ]
- D 5.1 Problem Cases and their Trust and Security Requirements [.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
]
|