Инвазивный подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах

Автор: Дмитрий Владимирович Нагибин, Алексей Сергеевич Петренко, Владислав Сергеевич Давыденко, Игорь Витальевич Котенко, Елена Владимировна Федорченко

Журнал: Информатика и автоматизация (Труды СПИИРАН) @ia-spcras

Рубрика: Математическое моделирование и прикладная математика

Статья в выпуске: Том 24 № 2, 2025 года.

Бесплатный доступ

Представлен подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах, основанный на инвазивных методах исследования. Актуальность проведённого исследования обусловлена необходимостью проведения верификации функционально-структурных спецификаций, поставляемых сторонними исполнителями аппаратных реализаций алгоритмов обеспечения информационной безопасности, сложностью выявления на аппаратном уровне модификаций этих алгоритмов и внедрённых в них недокументированных возможностей и отсутствием единых универсальных или стандартизированных методов решения этой задачи. Сформулирована математическая постановка задачи исследования, суть которой состоит в проверке равенства значений параметров заявленной спецификации с их значениями, восстановленными методом обратного проектирования. Представлены результаты применения предложенного подхода к верификации функционально-структурных спецификаций на примерах аппаратно-реализованных алгоритмов шифрования DES и AES. Восстановленные функционально-структурные блоки алгоритмов (в частности – блок подстановок) были успешно верифицированы.

Еще

Заказная интегральная схема, идентификация, верификация, функционально-структурная спецификация, алгоритм шифрования

Короткий адрес: https://sciup.org/14132950

IDR: 14132950   |   DOI: 10.15622/ia.24.2.6

Статья