Acronym
EURO-MILS
Duration
01 October 2012 → 31 March 2016
Funding
European funding: framework programme
Promotor
Research disciplines
-
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
Keywords
MILS
virtualisation
formal methods
Common Criteria certification
security
avionics
high availibility
automotive
Project description
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).
