May 4, 2018 Project deliverable Open Access

Tverdyshev, Sergey; Caracuel, Benito; Álvarez, Amelia; Ortega, Alvaro; Rico, Jose Emilio; Hametner, Reinhard; Blasum, Holger; Kertis, Tomáš; Schulz, Thorsten

Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.2586566", 
  "language": "eng", 
  "title": "Security Architecture Template", 
  "issued": {
    "date-parts": [
      [
        2018, 
        5, 
        4
      ]
    ]
  }, 
  "abstract": "<p>The certMILS project (<a href=\"http://www.certmils.eu/\">http://www.certmils.eu/</a>) 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 deliverable provides a security architecture template that is to be used for the certification of that MILS system. The target audience of this document is:</p>\n\n<p>* Developers of systems,based on a MILS architecture, providing them a template about how to describe their MILS system.</p>\n\n<p>* 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.</p>\n\n<p>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.</p>", 
  "author": [
    {
      "family": "Tverdyshev, Sergey"
    }, 
    {
      "family": "Caracuel, Benito"
    }, 
    {
      "family": "\u00c1lvarez, Amelia"
    }, 
    {
      "family": "Ortega, Alvaro"
    }, 
    {
      "family": "Rico, Jose Emilio"
    }, 
    {
      "family": "Hametner, Reinhard"
    }, 
    {
      "family": "Blasum, Holger"
    }, 
    {
      "family": "Kertis, Tom\u00e1\u0161"
    }, 
    {
      "family": "Schulz, Thorsten"
    }
  ], 
  "version": "1.0", 
  "type": "report", 
  "id": "2586566"
}