Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Rico, Jose Emilio"'
Autor:
Tverdyshev, Sergey, Caracuel, Benito, Álvarez, Amelia, Ortaga, Alvaro, Rico, Jose Emilio, Hametner, Reinhard, Blasum, Holger, Kertis, Tomáš, Schulz, Thorsten
The certMILS project (http://www.certmils.eu/) 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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1b70885f035b7f68f48e2d1aab305253
Autor:
Tverdyshev, Sergey, Caracuel, Benito, Álvarez, Amelia, Ortega, Alvaro, Rico, Jose Emilio, Hametner, Reinhard, Blasum, Holger, Kertis, Tomáš, Schulz, Thorsten
The certMILS project (http://www.certmils.eu/) 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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::180b02ef39d5a0d41b4fffdef85adec5
Autor:
Ortega, Alvaro, Kurth, Helmut, Hohenegger, Andreas, Caracuel, Benito, Rico, Jose Emilio, Garcia, Luis, Blasum, Holger, Tverdyshev, Sergey
This is a list of extensions to the certMILS base PP (https://www.zenodo.org/record/2586499) that are available as modules in the modular PP. Note: The extensions are a research output from the certMILS project. That is, despite being a sincere effor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::36ef40fe041160a67f5991136decd6aa
Autor:
Rico, Jose Emilio, Kurth, Helmut, Hohenegger, Andreas, Ortega, Alvaro, Blasum, Holger, Tverdyshev, Sergey, Hager, Michal
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 furt
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0be84776a5182de5144f0b01a183f0d0
https://doi.org/10.5281/zenodo.2586498
https://doi.org/10.5281/zenodo.2586498