Acroniem
EURO-MILS
Code
41P05612
Looptijd
01-10-2012 → 31-03-2016
Financiering
Europese middelen: kaderprogramma
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
Kritieke systemen worden met het internet verbonden, waardoor domeinen met verschillende veiligheidsvoorwaarden worden gemengd. De stand van de techniek laat niet toe dit op een betrouwbare manier te doen. Het EURO-MILS-poject zal daarom voor de eerste maal in Europa een "Common Criteria" evaluatie uitvoeren tot op het hoogste niveau van een MILS-systeem (Multiple Independent Levels of Security).