Acroniem
EURO-MILS
Code
41P05612
Looptijd
01-10-2012 → 31-03-2016
Financiering
European funding: framework programme
Promotor
Onderzoeksdisciplines
-
Natural sciences
- Applied mathematics in specific fields
- History and foundations
- Computer architecture and networks
- Distributed computing
- Information sciences
- Information systems
- Programming languages
- Scientific computing
- Theoretical computer science
- Visual computing
- Other information and computing sciences
Trefwoorden
formele methoden
hoge beschikbaarheid
virtualisatie
veiligheid
automobieltechniek
MILS
avionica
Common Criteria certificatie
Projectomschrijving
Critical systems go online, mixing domains with mixed criticalities. The state of the art does not allow doing so in a trustworthy way. Therefore, the EURO-MILS project will for the first time in Europe perform a "Common Criteria" evaluation to the highest levels of assurance of a MILS system (Multiple Independent Levels of Security).