{ "access": { "embargo": { "active": false, "reason": null }, "files": "public", "record": "public", "status": "open" }, "created": "2016-07-26T08:43:38+00:00", "custom_fields": {}, "deletion_status": { "is_deleted": false, "status": "P" }, "files": { "count": 1, "enabled": true, "entries": { "EURO-MILS-D21.4-PU-M40-V1.0.pdf": { "checksum": "md5:1eff453c83fd862577055677adf84295", "ext": "pdf", "id": "2956d3fa-2830-4f7f-a352-2a177284eeb2", "key": "EURO-MILS-D21.4-PU-M40-V1.0.pdf", "metadata": null, "mimetype": "application/pdf", "size": 743438 } }, "order": [], "total_bytes": 743438 }, "id": "57413", "is_draft": false, "is_published": true, "links": { "access": "https://zenodo.org/api/records/57413/access", "access_links": "https://zenodo.org/api/records/57413/access/links", "access_request": "https://zenodo.org/api/records/57413/access/request", "access_users": "https://zenodo.org/api/records/57413/access/users", "archive": "https://zenodo.org/api/records/57413/files-archive", "archive_media": "https://zenodo.org/api/records/57413/media-files-archive", "communities": "https://zenodo.org/api/records/57413/communities", "communities-suggestions": "https://zenodo.org/api/records/57413/communities-suggestions", "doi": "https://doi.org/10.5281/zenodo.57413", "draft": "https://zenodo.org/api/records/57413/draft", "files": "https://zenodo.org/api/records/57413/files", "latest": "https://zenodo.org/api/records/57413/versions/latest", "latest_html": "https://zenodo.org/records/57413/latest", "media_files": "https://zenodo.org/api/records/57413/media-files", "parent": "https://zenodo.org/api/records/638325", "parent_doi": "https://zenodo.org/doi/", "parent_html": "https://zenodo.org/records/638325", "requests": "https://zenodo.org/api/records/57413/requests", "reserve_doi": "https://zenodo.org/api/records/57413/draft/pids/doi", "self": "https://zenodo.org/api/records/57413", "self_doi": "https://zenodo.org/doi/10.5281/zenodo.57413", "self_html": "https://zenodo.org/records/57413", "self_iiif_manifest": "https://zenodo.org/api/iiif/record:57413/manifest", "self_iiif_sequence": "https://zenodo.org/api/iiif/record:57413/sequence/default", "versions": "https://zenodo.org/api/records/57413/versions" }, "media_files": { "count": 0, "enabled": false, "entries": {}, "order": [], "total_bytes": 0 }, "metadata": { "additional_descriptions": [ { "description": "This deliverable presents EURO-MILS research results about the development of a formal environment to analyse MILS architectures. Its second chapter presents and discusses three existing approaches. This chapter shows their shortcomings. The third chapter proposes possible extensions of Rushby's model to address them.", "type": { "id": "notes", "title": { "de": "Anmerkungen", "en": "Notes" } } } ], "contributors": [ { "affiliations": [ { "name": "SYSGO AG" } ], "person_or_org": { "family_name": "Blasum", "given_name": "Holger", "name": "Blasum, Holger", "type": "personal" }, "role": { "id": "contactperson", "title": { "de": "Kontaktperson", "en": "Contact person" } } }, { "affiliations": [ { "name": "DFKI" } ], "person_or_org": { "family_name": "Langenstein", "given_name": "Bruno", "name": "Langenstein, Bruno", "type": "personal" }, "role": { "id": "contactperson", "title": { "de": "Kontaktperson", "en": "Contact person" } } }, { "affiliations": [ { "name": "Airbus" } ], "person_or_org": { "family_name": "Leconte", "given_name": "Bertrand", "name": "Leconte, Bertrand", "type": "personal" }, "role": { "id": "contactperson", "title": { "de": "Kontaktperson", "en": "Contact person" } } }, { "affiliations": [ { "name": "Airbus" } ], "person_or_org": { "family_name": "M\u00fcller", "given_name": "Kevin", "name": "M\u00fcller, Kevin", "type": "personal" }, "role": { "id": "contactperson", "title": { "de": "Kontaktperson", "en": "Contact person" } } }, { "affiliations": [ { "name": "Open University Nederlands" } ], "person_or_org": { "family_name": "Verbeek", "given_name": "Freek", "name": "Verbeek, Freek", "type": "personal" }, "role": { "id": "contactperson", "title": { "de": "Kontaktperson", "en": "Contact person" } } }, { "affiliations": [ { "name": "Technical University Eindhoven" } ], "person_or_org": { "family_name": "Koolen", "given_name": "R.", "name": "Koolen, R.", "type": "personal" }, "role": { "id": "contactperson", "title": { "de": "Kontaktperson", "en": "Contact person" } } } ], "creators": [ { "affiliations": [ { "name": "Technical University of Eindhoven" } ], "person_or_org": { "family_name": "Schmaltz", "given_name": "Julien", "name": "Schmaltz, Julien", "type": "personal" } }, { "affiliations": [ { "name": "SYSGO AG" } ], "person_or_org": { "family_name": "Blasum", "given_name": "Holger", "name": "Blasum, Holger", "type": "personal" } }, { "affiliations": [ { "name": "DFKI" } ], "person_or_org": { "family_name": "Langenstein", "given_name": "Bruno", "name": "Langenstein, Bruno", "type": "personal" } }, { "affiliations": [ { "name": "AIRBUS" } ], "person_or_org": { "family_name": "Leconte", "given_name": "Betrand", "name": "Leconte, Betrand", "type": "personal" } }, { "affiliations": [ { "name": "Airbus Group Innovations" } ], "person_or_org": { "family_name": "M\u00fcller", "given_name": "Kevin", "name": "M\u00fcller, Kevin", "type": "personal" } }, { "affiliations": [ { "name": "Open Universiteit" } ], "person_or_org": { "family_name": "Verbeek", "given_name": "Freek", "name": "Verbeek, Freek", "type": "personal" } }, { "affiliations": [ { "name": "Technical University of Eindhoven" } ], "person_or_org": { "family_name": "Koolen", "given_name": "Ruud", "name": "Koolen, Ruud", "type": "personal" } } ], "description": "
To achieve security certification according to the highest levels of assurance, formal models and proofs of security properties are required. In the MILS context, this includes formalisation of key components \u2013 such as separation kernels \u2013 and the formalisation of applications built on top of these verified components. In the second chapter of this document, we use the Isabelle/HOL proof assistant to formalise the Firewall application built on top of a verified separation kernel according to the model of Greve, Wilding, and Vanfleet (GWV). This Firewall application has been formalised twice after the original effort by GWV. These different efforts have been compared and discussed on paper. Our main\u00a0contribution is to provide a formal comparison between these formalisations in the formal logic of a proof assistant.
\n\nIn the third chapter of this document, we extend Rushby\u2019s model of noninterference with explicit between-domain information transfer, as well as programs that determine domain behaviour. These extensions enable the reasoning at an abstract level built on top of noninterference, at a much finer level than allowed by base noninterference. As an illustration of our approach, we formally model and analyse an example system inspired by the GWV Firewall.
", "funding": [ { "award": { "acronym": "EURO-MILS", "id": "00k4n6c32::318353", "identifiers": [ { "identifier": "https://cordis.europa.eu/projects/318353", "scheme": "url" } ], "number": "318353", "program": "FP7", "title": { "en": "EURO-MILS:\nSecure European Virtualisation for Trustworthy Applications in Critical Domains" } }, "funder": { "id": "00k4n6c32", "name": "European Commission" } } ], "publication_date": "2016-02-03", "publisher": "Zenodo", "resource_type": { "id": "publication-deliverable", "title": { "de": "Projektergebnis", "en": "Project deliverable" } }, "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": "separation kernel" }, { "subject": "intransitive noninterference" }, { "subject": "Isabelle/HOL" }, { "subject": "firewall application" } ], "title": "Formal Framework for MILS Integration" }, "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" }, { "access": { "member_policy": "open", "members_visibility": "restricted", "record_policy": "open", "review_policy": "closed", "visibility": "public" }, "children": { "allow": true }, "created": "2022-11-23T15:53:29.436323+00:00", "custom_fields": {}, "deletion_status": { "is_deleted": false, "status": "P" }, "id": "f0a8b890-f97a-4eb2-9eac-8b8a712d3a6c", "links": {}, "metadata": { "curation_policy": "The EU Open Research Repository serves as a repository for research outputs (data, software, posters, presentations, publications, etc) which have been funded under an EU research funding programme such as Horizon Europe, Euratom or earlier Framework Programmes.
\nThe community is managed by CERN on behalf of the European Commission.
\nZenodo’s general policies and Terms of Use apply to all content.
\nThe EU Open Research Repository accepts all digital research objects which is a research output stemming from one of EU’s research and innovation funding programmes. The funding programmes currently include:
\nHorizon Europe (including ERC, MSCA), earlier Framework Programmes (eg Horizon 2020) as well as Euratom.
\nIn line with the principle as open as possible, as closed as necessary both public and restricted content is accepted. See note on how Zenodo handles restricted content.
\nEU programme beneficiaries are eligible to submit content to the community. The community supports three types of content submissions:
\nSubmission via an EU Project Community (through user interface or programmatic APIs).
\nSubmission directly to the EU Open Research Repository.
\nAutomated harvesting from existing Zenodo content.
\nA representative of an EU project may request an EU Project Community and invite other project participants as members of the community. The project community is linked to one or more European Commission grants. All records in the project community are automatically integrated into the EU Open Research Repository immediately upon acceptance into the project community.
\nAny user may submit a record directly to the EU Open Research Repository. The submission will be moderated by Zenodo staff for compliance with the minimal required metadata requirements and its correctness.
\nRecords found among Zenodo’s existing content will on a regular basis automatically be integrated if they are found to comply with the requirements. The submissions through this method are integrated into the EU Open Research Repository with delay in a fully automated way.
\nRecords in the EU Open Research Repository are required to comply with the following minimal metadata requirements:
\nVisibility: Both public and restricted (with or without embargo and/or access request)
\nResource types: All resource types.
\nLicenses: Public and embargoed records MUST specify a license.
\nFunding information: Records MUST specify at least one grant from the European Commission.
\nCreators: Creators SHOULD be identified with a persistent identifier (e.g. ORCID, GND, …), and affiliations SHOULD be identified with a persistent identifier (e.g. ROR, ISNI, …)
\nSubjects: Records SHOULD specify one or more fields of science from the European Science Vocabulary.
\nAll submissions will undergo automated curation checks for compliance with the policy. Submissions through project communities are reviewed by the project community. Submission directly to the EU Open Research Repository is reviewed by Zenodo staff.
\nCommunity curators may at any point edit metadata of the records in the community without notice through human or automated processing. The curators may at their sole discretion remove records from the community that are deemed not to comply with the content and curation policy or which are deemed of insufficient quality.
\nThe content and curation policy is subject to change by the community owner at any time and without notice, other than through updating this page.
", "description": "Open repository for EU-funded research outputs from Horizon Europe, Euratom and earlier Framework Programmes.", "organizations": [ { "id": "00k4n6c32" } ], "page": "The EU Open Research Repository is a Zenodo-community dedicated to fostering open science and enhancing the visibility and accessibility of research outputs funded by the European Union. The community is managed by CERN on behalf of the European Commission.
\nThe mission of the repository is to support the implementation of the EU's open science policy, providing a trusted and comprehensive space for researchers to share their research outputs such as data, software, reports, presentations, posters and more. The EU Open Research Repository simplifies the process of complying with open science requirements, ensuring that research outputs from Horizon Europe, Euratom, and earlier Framework Programmes are freely accessible, thereby accelerating scientific discovery and innovation.
\nThe EU Open Research Repository serves as a complementary platform to the Open Research Europe (ORE) publishing platform. Open Research Europe focuses on providing a publishing venue for peer-reviewed articles, ensuring that research meets rigorous academic standards. The EU Open Research Repository provides a space for all the other research outputs including data sets, software, posters, and presentations that are out of scope for ORE. This holistic approach enables researchers to not only publish their findings but also share the underlying data and materials that support their work, fostering transparency and reproducibility in the scientific process.
\nCurrently in its pilot phase and set to be fully operational during autumn 2024, the EU Open Research Repository is constantly evolving. Efforts are committed to integrating cutting-edge features, including automated curation checks and FAIR (Findable, Accessible, Interoperable, and Reusable) assistance, to further support the research community. The goal is to provide researchers with a simple goto solution for making their publicly funded research open and as FAIR as possible.
\nThe EU Open Research Repository is funded by the European Union under grant agreement no. 101122956(HORIZON-ZEN). For more information about the project see https://about.zenodo.org/projects/horizon-zen/.
", "title": "EU Open Research Repository (Pilot)", "type": { "id": "organization" }, "website": "https://research-and-innovation.ec.europa.eu" }, "revision_id": 16, "slug": "eu", "theme": { "brand": "horizon", "enabled": true, "style": { "font": { "family": "Arial, sans-serif", "size": "16px", "weight": 600 }, "mainHeaderBackgroundColor": "#FFFFFF", "primaryColor": "#004494", "primaryTextColor": "#FFFFFF", "secondaryColor": "#FFD617", "secondaryTextColor": "#000000", "tertiaryColor": "#e3eefd", "tertiaryTextColor": "#1c5694" } }, "updated": "2024-03-20T06:47:47.577483+00:00" } ], "ids": [ "29d93d84-80bd-46ac-8271-5dc81d28aef0", "f0a8b890-f97a-4eb2-9eac-8b8a712d3a6c" ] }, "id": "638325", "pids": { "doi": { "identifier": "", "provider": "legacy" } } }, "pids": { "doi": { "client": "datacite", "identifier": "10.5281/zenodo.57413", "provider": "datacite" }, "oai": { "identifier": "oai:zenodo.org:57413", "provider": "oai" } }, "revision_id": 12, "stats": { "all_versions": { "data_volume": 46836594.0, "downloads": 63, "unique_downloads": 57, "unique_views": 87, "views": 87 }, "this_version": { "data_volume": 46836594.0, "downloads": 63, "unique_downloads": 57, "unique_views": 87, "views": 87 } }, "status": "published", "updated": "2020-01-20T16:50:25.736699+00:00", "versions": { "index": 1, "is_latest": true } }