3 ms·
There are no operating systems with an EAL greater than 5. There are single-purpose microprocessor controlled devices with higher ratings, but you are unlikely
by ahazred8ta 2y ago
There 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.