Research Explorer

Project

EURO-MILS: Secure European Virtualisation for Trustworthy Applications in Critical Domains
Acronym
EURO-MILS
Code
41P05612
Duration
01 October 2012 → 31 March 2016
Funding
European funding: framework programme
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).