Хочется что-то побольше узнать об этом. Что посоветуете почитать по теме. Информации в нете не нашел, но очень много слышал.
Ты имеешь ввиду Common Criteria? Нашы стандарты: ГОСТ Р ИСО/МЭК 15408—1-2002 ГОСТ Р ИСО/МЭК 15408—2-2002 ГОСТ Р ИСО/МЭК 15408—3-2002 Вроде какие-то майнфреймы от IBM сертифицированы, как соответствующие высшим уровням EAL, но требования EALs 5-7 в каждой стране свои и сертифицирует их такие конторы как NSA, у нас, наверное, ФСБ. Ну ещё есть, LynxOS-178 он сертифицирована по уровню A стандарта DO-178B, и заявляли что-то про сертификацию по EAL7.