Other Open Access
MILS Security Architecture Templates
Tverdyshev, Sergey; Caracuel, Benito; Álvarez, Amelia; Ortaga, Alvaro; Rico, Jose Emilio; Hametner, Reinhard; Blasum, Holger; Kertis, Tomáš; Schulz, Thorsten
Other(s)
Caracuel, Benito; Alvarez, Amelia; Hametner, Reinhard; Blasum, Holger; Kertis, Tomas; Schulz, ThorstenThe certMILS project (http://www.certmils.eu/) aims at easing building and certification of complex critical systems by using a certain architecture for structuring these systems into partitions that run on a separation kernel, called MILS (Multiple Independent Levels of Security / Safety). Once a critical system is structured by use of a separation kernel, then this technical structuring should lend itself also to a similarly logically structured security and safety argument in certification.
Analogous to the separation kernel that is to be used for building a MILS system, this white paper provides a security architecture template that is to be used for the certification of that MILS system.
The target audience of this document is:
- Developers of systems, based on a MILS architecture, providing them a template about how to describe their MILS system.
- Security evaluators of a MILS-based system, giving hints about how the developer description can be used to argue for compliance to Common Criteria (CC) and IEC 62443.
The assurance case made by the security architecture template in this document identifies as building blocks the security mechanisms implemented by a MILS separation kernel and a typical application payload in partitions and derives typical security architecture arguments for MILS-based systems.
| Name | Size | |
|---|---|---|
|
White-Paper-MILS-Security-Architecture-Template.pdf
md5:8e87f1f6438fa4f064a4effa1053999a |
2.2 MB | Download |
| All versions | This version | |
|---|---|---|
| Views | 642 | 642 |
| Downloads | 460 | 460 |
| Data volume | 997.8 MB | 997.8 MB |
| Unique views | 599 | 599 |
| Unique downloads | 395 | 395 |
- Publication date:
- October 17, 2018
- DOI:
-
- Keyword(s):
- MILS safety securtiy system Common Criteria IEC 62443
- Grants:
-
European Commission:
- certMILS - Compositional security certification for medium- to high-assurance COTS-based systems in environments with emerging threats (731456)
- Communities:
- License (for files):
- Creative Commons Zero v1.0 Universal