Welcome to EURO-MILS
Mission of EURO-MILS:
EURO-MILS: Secure European virtualisation for trustworthy applications in critical domains. The mission of the EURO-MILS project is to develop a solution for virtualisation of heterogeneous resources and provide strong guarantees for isolation of resources by means of Common Criteria certification with usage of formal methods.
Based on embedded systems, cyber-physical networks are part of our society, and gain wider spread and importance. Next generations of aircraft 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 such as healthcare, energy, finance, and mobile. When embedded devices are networked, security can cause problems. Non-secured network devices can be hacked and exploited. Viruses and other malware can be introduced into the machines and may affect their functionality, change control, or steal specific information. In order to provide secure and safe trustworthiness and exclude devastating, unauthorized use of critical systems, it is essential to control access in an organized and certifiable fashion.
The EURO-MILS project is addressing this fundamental aspect of future device design and production. The project will provide trustworthiness by design and high assurance based on the Multiple Independent Levels of Security (MILS) approach. MILS is a high-assurance security architecture based on the concepts of separation and controlled information flow.
In this project, we modify the ICT security ecosystem by introducing a verified and validated design at the point where incentives and prospects of success are the highest. We introduce into the European trustworthy ICT landscape the heart of the MILS architecture, the MILS platform: a small virtualisation platform that offers the secure decomposition of complex embedded systems into independent components.
As the aim is ambitious, our work is put onto very strong foundations:
- The MILS approach already has been tried and tested in the US.
- The separation kernel to be used in the EURO-MILS project has undergone avionic certification and is deployed in commercial aircrafts.
- EURO-MILS consortium members have high industry expertise and experience in computer-supported verification (“formal methods”) and assurance validation (“Common Criteria” certification).