21 Jan
2019
21 Jan
'19
4:43 a.m.
Hello seL4 devel,
for those who (thanks!) participated in the poll on the separation
kernel protection profile (or are otherwise interested in the results), my
colleague Thorsten from certMILS has made available the results at:
https://doi.org/10.5281/zenodo.2541464
For the impatient: the results are in Chapter 4.
Of course this is just the beginning, and the real task for 2019
is to act on the observations :-) . Recall that if you want join the
Common Criteria Users Forum (CCUF) separation kernel working group for
further discussion just let me know by answering to this email to my
private mail.
best, Holger
(I'm top-posting as the original invitation has been a while ago.)
On 11-26, Holger Blasum wrote:
Hello seL4 devel,
microkernel-based systems can be used as separation kernels[*]
for security.
At the moment there is a poll on input for a Common Criteria
for Information Technology Security (CC) separation
kernel protection profile draft, organized by a certMILS.eu
colleague from Rostock Univ, at
https://evasys.uni-rostock.de/evasys/online.php?p=ccuf-sk-wg
The idea is to have a base protection profile (PP) that
all players can agree with and to specify additional functionality
as add-ons to the PP (e.g., in the form of PP modules).
The questionnaire is an opportunity to provide early feedback. Note
that there are no mandatory questions, i.e. you can freely move around /
you can leave any question unanswered - the only condition for your
feedback be submitted to the collection system is that you go to the last
page and use the submit button there. We invite feedback via that poll
by end of this week.
If, beyond the questionnaire, you want to join the Common Criteria User's
Forum separation kernel working group, or anyone would like to have more
time, just let me know by answering to this email.
[*] https://en.wikipedia.org/wiki/Multiple_Independent_Levels_of_Security
--
Holger Blasum
SYSGO AG Office Mainz
Am Pfaffenstein 14 / D-55270 Klein-Winternheim / Germany
Phone: +49-6136-9948-425 / Fax: +49-6136-9948-10 / SIP:hbl@sysgo.com
E-mail: holger.blasum(a)sysgo.com / Web: http://www.sysgo.com
Blog: https://www.sysgo.com/blog
Events: https://www.sysgo.com/events
Handelsregister/Commercial Registry: HRB Mainz 90 HRB 8066
Vorstand/Executive Board: Etienne Butery (CEO), Kai Sablotny (COO)
Aufsichtsratsvorsitzender/Supervisory Board Chairman: Marc Darmon
USt-Id-Nr./VAT-Id-No.: DE 149062328