< Back to previous page


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

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).

Date:1 Oct 2012 →  31 Mar 2016
Keywords:automotive, virtualisation, Common Criteria certification, formal methods, security, high availibility, MILS, avionics
Disciplines:Distributed computing, Scientific computing, History and foundations, Other information and computing sciences, Theoretical computer science, Visual computing, Applied mathematics in specific fields, Information sciences, Programming languages, Computer architecture and networks, Information systems