Project description
Trustworthy ICT
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.
Fields of science
Not validated
Not validated
Topic(s)
Call for proposal
FP7-ICT-2011-8
See other projects for this call
Funding Scheme
CP - Collaborative project (generic)Coordinator
9500 Villach
Austria
See on map
Participants (15)
9000 Gent
See on map
55270 Klein Winternheim
See on map
67663 Kaiserslautern
See on map
82024 Taufkirchen
See on map
60528 Frankfurt Am Main
See on map
10245 BERLIN
See on map
78750 Mareil Marly
See on map
31060 Toulouse
See on map
91405 ORSAY CEDEX
See on map
31700 BLAGNAC
See on map
92230 Gennevilliers
See on map
78230 Le Pecq
See on map
6419 AT Heerlen
See on map
5612 AE Eindhoven
See on map
52076 Aachen
See on map