Компания NXP Semiconductors N.V. объявила о том, что микроконтроллер SmartMX2 первым в мире отмечен сертификатом Common Criteria EAL6+ для защищенных микроконтроллеров с бесконтактным интерфейсом на базе 90-нм технологии.
Испытания уровня EAL6+, осуществляемые Федеральным ведомством по информационной безопасности (BSI) Германии, предусматривают доскональное тестирование всей архитектуры безопасности на устойчивость к разнообразным агрессивным, полуагрессивным и неагрессивным атакам, то есть формальную проверку самой концепции обеспечения безопасности.
Реализация формальных математических методов привела к появлению новой архитектуры безопасности SmartMX2: соответствующий сертификат CC EAL6+ гарантирует пользователям значительно более высокий уровень надежности.
