Conference paper Open Access

Non-Interfering Composed Evaluation

Furgel, Igor; Saftig, Viola; Wagner, Tobias; Müller, Kevin; Schwarz, Reinhard; Blomberg, Axel Söding-Freiherr


JSON Export

{
  "files": [
    {
      "links": {
        "self": "https://zenodo.org/api/files/f5708d8e-19e9-4e4e-a46c-4a513c9f2438/11-Non-Interfering_Composed_Evaluation_MILS_WS.pdf"
      }, 
      "checksum": "md5:826d7e2cd2833cafe7138c002d28b17f", 
      "bucket": "f5708d8e-19e9-4e4e-a46c-4a513c9f2438", 
      "key": "11-Non-Interfering_Composed_Evaluation_MILS_WS.pdf", 
      "type": "pdf", 
      "size": 468531
    }
  ], 
  "owners": [
    20034
  ], 
  "doi": "10.5281/zenodo.47979", 
  "stats": {
    "version_unique_downloads": 23.0, 
    "unique_views": 68.0, 
    "views": 68.0, 
    "downloads": 26.0, 
    "unique_downloads": 23.0, 
    "version_unique_views": 68.0, 
    "volume": 12181806.0, 
    "version_downloads": 26.0, 
    "version_views": 68.0, 
    "version_volume": 12181806.0
  }, 
  "links": {
    "doi": "https://doi.org/10.5281/zenodo.47979", 
    "latest_html": "https://zenodo.org/record/47979", 
    "bucket": "https://zenodo.org/api/files/f5708d8e-19e9-4e4e-a46c-4a513c9f2438", 
    "badge": "https://zenodo.org/badge/doi/10.5281/zenodo.47979.svg", 
    "html": "https://zenodo.org/record/47979", 
    "latest": "https://zenodo.org/api/records/47979"
  }, 
  "created": "2016-03-21T09:00:44+00:00", 
  "updated": "2019-04-10T03:44:16.949370+00:00", 
  "conceptrecid": "631345", 
  "revision": 10, 
  "id": 47979, 
  "metadata": {
    "access_right_category": "success", 
    "doi": "10.5281/zenodo.47979", 
    "description": "<p>In this document an extension of the concept for the\u00a0evaluation of a Composed TOE is presented. This\u00a0approach,\u00a0namely the Non-Interfering Composed TOE, is based on the\u00a0traceable property of the non-interference of two certified TOEs.</p>", 
    "license": {
      "id": "CC-BY-4.0"
    }, 
    "title": "Non-Interfering Composed Evaluation", 
    "relations": {
      "version": [
        {
          "count": 1, 
          "index": 0, 
          "parent": {
            "pid_type": "recid", 
            "pid_value": "631345"
          }, 
          "is_last": true, 
          "last_child": {
            "pid_type": "recid", 
            "pid_value": "47979"
          }
        }
      ]
    }, 
    "communities": [
      {
        "id": "mils"
      }
    ], 
    "keywords": [
      "security composition", 
      "security evaluation and certification", 
      "Non- Interference", 
      "Separation kernel", 
      "MILS (Multiple Independent Levels of Security)", 
      "Virtualization", 
      "Hypervisor"
    ], 
    "publication_date": "2016-01-19", 
    "creators": [
      {
        "affiliation": "T-Systems International GmbH", 
        "name": "Furgel, Igor"
      }, 
      {
        "affiliation": "T-Systems International GmbH", 
        "name": "Saftig, Viola"
      }, 
      {
        "affiliation": "T-Systems International GmbH", 
        "name": "Wagner, Tobias"
      }, 
      {
        "affiliation": "Airbus Group Innovations", 
        "name": "M\u00fcller, Kevin"
      }, 
      {
        "affiliation": "Fraunhofer IESE", 
        "name": "Schwarz, Reinhard"
      }, 
      {
        "affiliation": "OpenSynergy", 
        "name": "Blomberg, Axel S\u00f6ding-Freiherr"
      }
    ], 
    "meeting": {
      "dates": "19 January 2016", 
      "place": "Prague", 
      "title": "International Workshop on MILS: Architecture and Assurance for Secure Systems"
    }, 
    "access_right": "open", 
    "resource_type": {
      "subtype": "conferencepaper", 
      "type": "publication", 
      "title": "Conference paper"
    }
  }
}
68
26
views
downloads
All versions This version
Views 6868
Downloads 2626
Data volume 12.2 MB12.2 MB
Unique views 6868
Unique downloads 2323

Share

Cite as