publication . Other literature type . Report . 2018

Base MILS Platform Protection Profile

Rico, Jose Emilio; Kurth, Helmut; Hohenegger, Andreas; Ortega, Alvaro; Blasum, Holger; Tverdyshev, Sergey; Hager, Michal;
Open Access English
  • Published: 04 May 2018
  • Publisher: Zenodo
Abstract
This is a Protection Profile (PP) according to the Common Criteria (CC). The PP serves as "base PP" of the modular PP. Note: The PP is a research output from the certMILS project. That is, despite being a sincere effort that we have submitted to further feedback (https://zenodo.org/record/2541464), it has not undergone Common Criteria certification. Whereas a Security Target (ST) always describes a specific Target of Evaluation (TOE), a Protection Profile (PP) is intended to describe a TOE type - in this case a Separation Kernel (SK) operating system. The same PP may therefore be used as a template for many different STs employed in different Common Criteria eva...
Subjects
free text keywords: Protection Profile, MILS Platform, Separation Kernel, PP Module, Base PP
Funded by
EC| certMILS
Project
certMILS
Compositional security certification for medium- to high-assurance COTS-based systems in environments with emerging threats
  • Funder: European Commission (EC)
  • Project Code: 731456
  • Funding stream: H2020 | IA
Download fromView all 3 versions
Zenodo
Other literature type . 2018
Provider: Datacite
ZENODO
Report . 2018
Provider: ZENODO
Zenodo
Other literature type . 2018
Provider: Datacite
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue
publication . Other literature type . Report . 2018

Base MILS Platform Protection Profile

Rico, Jose Emilio; Kurth, Helmut; Hohenegger, Andreas; Ortega, Alvaro; Blasum, Holger; Tverdyshev, Sergey; Hager, Michal;