Cyber-physical networks based on embedded systems are part of our society and gain spread and importance. Next generations of aircrafts and cars will be tightly interconnected with each other, with the Internet and other infrastructures. The same holds for many industries and areas of our life. Ubiquitous, highly critical systems go online and create a domain of mixed criticalities, where security and safety requirements of different levels mix. Today, state of the art technology does not provide trustworthiness for such interconnection and mix.
The project's cornerstone is MILS (Multiple Independent Levels of Security), a high-assurance security architecture that supports the coexistence of untrusted and trusted components, based on verifiable separation mechanisms and controlled information flow.For the first time in Europe, EURO-MILS does a complete "Common Criteria" security evaluation of a MILS system to its highest levels of assurance, including formal verification engineering. Hardware dependencies are addressed from the beginning by prototype development on two hardware platforms in automotive and avionics.EURO-MILS is strongly market oriented, is carried out in pan-European context, and has an advisory board with government IT security authorities (BSI-Germany and ANSSI-France). In addition, the methodology gained from this high-assurance certification and investigating MILS business, legal, and social acceptance benefit not only the MILS domain but all high-assurance security certifications in Europe.The project brings together eight leading industrial companies, a research company, two research oriented SMEs, and three universities from five European countries to form a complete chain stretching from basic research, via applied research, up to end-user oriented service providers. EURO-MILS is expected to put Europe into a strong position with regards both to high-assurance Common Criteria certification and MILS systems.