42 ms·
There is only one EAL 5 OS, the nonfoss STOP system from BAE. Several Linuxes are EAL 4. https://www.baesystems.com/en/product/stop-os# https://www.baesystems.
by ahazred8ta 2y ago
There is only one EAL 5 OS, the nonfoss STOP system from BAE. Several Linuxes are EAL 4.
https://www.baesystems.com/en/product/stop-os# https://www.baesystems.com/en/product/stop-os# docs
https://en.wikipedia.org/wiki/XTS-400 https://en.wikipedia.org/wiki/XTS-400
- nicecars 2y agoSorry, I meant greater than 5.
- ahazred8ta 2y agoThere are no operating systems with an EAL greater than 5. There are single-purpose microprocessor controlled devices with higher ratings, but you are unlikely to ever find one.
- bigfatkitten 2y agoIt's a common level for smart cards, HSMs and the like, designed (with formal proofs etc) to be evaluated at that level. Those are easy enough to find.