{ "access": { "embargo": { "active": false, "reason": null }, "files": "public", "record": "public", "status": "open" }, "created": "2016-03-21T09:00:44+00:00", "custom_fields": { "meeting:meeting": { "dates": "19 January 2016", "place": "Prague", "title": "International Workshop on MILS: Architecture and Assurance for Secure Systems" } }, "deletion_status": { "is_deleted": false, "status": "P" }, "files": { "count": 1, "enabled": true, "entries": { "07-Article.pdf": { "checksum": "md5:03c2713fb029beb762b9f64531ce4bde", "ext": "pdf", "id": "a7295723-50f2-4caa-b604-0c18b2b086b6", "key": "07-Article.pdf", "metadata": null, "mimetype": "application/pdf", "size": 234974 } }, "order": [], "total_bytes": 234974 }, "id": "47981", "is_draft": false, "is_published": true, "links": { "access": "https://zenodo.org/api/records/47981/access", "access_links": "https://zenodo.org/api/records/47981/access/links", "access_request": "https://zenodo.org/api/records/47981/access/request", "access_users": "https://zenodo.org/api/records/47981/access/users", "archive": "https://zenodo.org/api/records/47981/files-archive", "archive_media": "https://zenodo.org/api/records/47981/media-files-archive", "communities": "https://zenodo.org/api/records/47981/communities", "communities-suggestions": "https://zenodo.org/api/records/47981/communities-suggestions", "doi": "https://doi.org/10.5281/zenodo.47981", "draft": "https://zenodo.org/api/records/47981/draft", "files": "https://zenodo.org/api/records/47981/files", "latest": "https://zenodo.org/api/records/47981/versions/latest", "latest_html": "https://zenodo.org/records/47981/latest", "media_files": "https://zenodo.org/api/records/47981/media-files", "parent": "https://zenodo.org/api/records/631466", "parent_doi": "https://zenodo.org/doi/", "parent_html": "https://zenodo.org/records/631466", "requests": "https://zenodo.org/api/records/47981/requests", "reserve_doi": "https://zenodo.org/api/records/47981/draft/pids/doi", "self": "https://zenodo.org/api/records/47981", "self_doi": "https://zenodo.org/doi/10.5281/zenodo.47981", "self_html": "https://zenodo.org/records/47981", "self_iiif_manifest": "https://zenodo.org/api/iiif/record:47981/manifest", "self_iiif_sequence": "https://zenodo.org/api/iiif/record:47981/sequence/default", "versions": "https://zenodo.org/api/records/47981/versions" }, "media_files": { "count": 0, "enabled": false, "entries": {}, "order": [], "total_bytes": 0 }, "metadata": { "creators": [ { "affiliations": [ { "name": "Department of Applied Mathematics and Computer Science, Technical University of Denmark" } ], "person_or_org": { "family_name": "Maciazek", "given_name": "Tomasz", "name": "Maciazek, Tomasz", "type": "personal" } }, { "affiliations": [ { "name": "Department of Applied Mathematics and Computer Science, Technical University of Denmark" } ], "person_or_org": { "family_name": "Nielson", "given_name": "Hanne Riis", "name": "Nielson, Hanne Riis", "type": "personal" } }, { "affiliations": [ { "name": "Department of Applied Mathematics and Computer Science, Technical University of Denmark" } ], "person_or_org": { "family_name": "Nielson", "given_name": "Flemming", "name": "Nielson, Flemming", "type": "personal" } } ], "description": "
We describe a tool (CBIF) for Content-Based Information\u00a0Flow Control for a subset of the C programming\u00a0language\u00a0and show how to use it on applications from the avionics industry.\u00a0In particular, we\u00a0consider the secure gateways used\u00a0in the separation kernels of operating systems designed according\u00a0to\u00a0the principles of Multiple Independent Levels of\u00a0Security (MILS).
", "publication_date": "2016-01-19", "publisher": "Zenodo", "resource_type": { "id": "publication-conferencepaper", "title": { "de": "Konferenzbeitrag", "en": "Conference paper" } }, "rights": [ { "description": { "en": "The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited." }, "icon": "cc-by-icon", "id": "cc-by-4.0", "props": { "scheme": "spdx", "url": "https://creativecommons.org/licenses/by/4.0/legalcode" }, "title": { "en": "Creative Commons Attribution 4.0 International" } } ], "subjects": [ { "subject": "MILS" } ], "title": "Content-Dependent Security Policies in Avionics" }, "parent": { "access": { "owned_by": { "user": 20034 } }, "communities": { "default": "29d93d84-80bd-46ac-8271-5dc81d28aef0", "entries": [ { "access": { "member_policy": "open", "members_visibility": "public", "record_policy": "open", "review_policy": "open", "visibility": "public" }, "children": { "allow": false }, "created": "2016-02-23T15:01:39+00:00", "custom_fields": {}, "deletion_status": { "is_deleted": false, "status": "P" }, "id": "29d93d84-80bd-46ac-8271-5dc81d28aef0", "links": {}, "metadata": { "curation_policy": "", "description": "Documents on MILS (Multiple Independent Levels of Security).", "page": "", "title": "MILS" }, "revision_id": 0, "slug": "mils", "updated": "2019-03-08T08:26:02.979482+00:00" } ], "ids": [ "29d93d84-80bd-46ac-8271-5dc81d28aef0" ] }, "id": "631466", "pids": { "doi": { "identifier": "", "provider": "legacy" } } }, "pids": { "doi": { "client": "datacite", "identifier": "10.5281/zenodo.47981", "provider": "datacite" }, "oai": { "identifier": "oai:zenodo.org:47981", "provider": "oai" } }, "revision_id": 11, "stats": { "all_versions": { "data_volume": 25612166.0, "downloads": 109, "unique_downloads": 100, "unique_views": 200, "views": 226 }, "this_version": { "data_volume": 25612166.0, "downloads": 109, "unique_downloads": 100, "unique_views": 200, "views": 226 } }, "status": "published", "updated": "2020-01-20T17:32:29.027338+00:00", "versions": { "index": 1, "is_latest": true } }