EURO-MILS: Secure European Virtualisation for Trustworthy Applications in Critical Domains

01 October 2012 → 31 March 2016
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
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).