|
|
|
|
|
|
by Nokinside
2711 days ago
|
|
|
The question is to what degree. * EAL5 (Semiformally Designed and Tested) Logical partitions in IBM System Z. * EAL6 (Semiformally Verified Design and Tested) INTEGRITY-178B and SeL4 I think. * EAL7 (EAL7: Formally Verified Design and Tested). No operating system has been verified to this level. Only small number of data diodes and other some specialized systems have this level of assurance. https://www.fox-it.com/datadiode/certificates/cc-eal7-certif... |
|
|