Projects
- CRUTIAL (IST STREP-FP6): CRitical UTility InfrastructurAL resilience.
- HIDENETS (IST STREP-FP6): HIghly DEpendable ip-based NETWorks and Services
- ASSERT (IST IP-FP6): Automated proof based System and Software Engineering for Real-Time.
- PRIME (IST IP-FP6): Privacy and Identity Management for Europe
- CADHo : Collect and Analysis of Data from Honeypots.
- MoSAIC : Mobile System Availability Integrity and Confidentiality.
- SAC : Critical Autonomous Systems.
Networks
- ReSIST (IST NOE-FP6): Network of excellence on Resilience for Survivability in IST
- RIS: Dependability Engineering Network
Past projects & networks
- AS23: Advanced Testing Techniques for complex systems
- CaberNet: Network of excellence on Distributed and Dependable Computing Systems
- DBench: Dependability Benchmarking
- DSoS: Dependable Systems of Systems
- DIT: Dependable Intrusion Tolerance
- MAFTIA: Malicious- and Accidental-Fault Tolerance for Internet Applications
- MP6: Security Models and Policies for Healthcare and Social Information and Communication Systems
- DeVa: Design for Validation
- FORMA: Formal Verification of Timed Specifications
- GUARDS: Generic Upgradable Architecture for Real-time Dependable Systems
- LIS: Laboratory for Dependability Engineering
- SQUALE: Security, Safety and Quality Evaluation for Dependable Systems
| |
|
