Published October 13, 2021
| Version v1
Preprint
Open
Security Certification of Cyber Physical Systems for Critical Infrastructure based on the Compositional MILS Architecture
Creators
- Hohenegger, Andreas1
- Krummeck, Gerald1
- Banos, Janie2
- Ortega, Alvaro2
- Hager, Michal3
- Sterba, Jiri3
- Kertis, Thomas4
- Novobilsky, Petr4
- Prochazka, Jan4
- Caracuel, Benito5
- Lourdes Sanz, Ana5
- Ramos, Francisco5
- Blasum, Holger6
- Brotz, Mario6
- Fuchsen, Rudolf6
- Fumaroli, Guillaume7
- Neškudla, Jan8
- Rollo, Jan8
- Burgstaller, Lisa9
- Truskaller, Martina9
- Koch, Klaus-Michael9
- Hametner, Reinhard10
- Rauscher, Sandro10
- Tummeltshammer, Peter10
- Golatowski, Frank11
- Schulz, Thorsten11
- 1. atsec information security GmbH
- 2. DEKRA
- 3. Elektrotechnický zkušební ústav s.p. (EZU)
- 4. Q-Media s.r.o.
- 5. Schneider Electric
- 6. SYSGO GmbH
- 7. SYSGO SAS
- 8. SYSGO s.r.o.
- 9. Technikon
- 10. Thales Austria
- 11. Universität Rostock
Description
We describe compositional architectures and certifications in the research project certMILS. Compositional architectures enable re-use of certified COTS (commercial off-the-shelf) components with a well-defined delegation of responsibilities between component developers and system integrators during cyber physical system design and certification. We show how we used a Common Criteria certified MILS (Multiple Independent Levels of Safety / Security) platform for compositional designs and IEC 62443-4-1/62443-4-2 security evaluations and certifications for composed systems from the domains of smart grid, railway, and subway, that are safety- and security-critical.
Files
Compositional-architectures-and-certifications-in-certMILS-IECON.pdf
Files
(419.6 kB)
Name | Size | Download all |
---|---|---|
md5:69f71b1759195ad6af95160404d4ab72
|
419.6 kB | Preview Download |