Инвазивный подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах
Автор: Дмитрий Владимирович Нагибин, Алексей Сергеевич Петренко, Владислав Сергеевич Давыденко, Игорь Витальевич Котенко, Елена Владимировна Федорченко
Журнал: Информатика и автоматизация (Труды СПИИРАН) @ia-spcras
Рубрика: Математическое моделирование и прикладная математика
Статья в выпуске: Том 24 № 2, 2025 года.
Бесплатный доступ
Представлен подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах, основанный на инвазивных методах исследования. Актуальность проведённого исследования обусловлена необходимостью проведения верификации функционально-структурных спецификаций, поставляемых сторонними исполнителями аппаратных реализаций алгоритмов обеспечения информационной безопасности, сложностью выявления на аппаратном уровне модификаций этих алгоритмов и внедрённых в них недокументированных возможностей и отсутствием единых универсальных или стандартизированных методов решения этой задачи. Сформулирована математическая постановка задачи исследования, суть которой состоит в проверке равенства значений параметров заявленной спецификации с их значениями, восстановленными методом обратного проектирования. Представлены результаты применения предложенного подхода к верификации функционально-структурных спецификаций на примерах аппаратно-реализованных алгоритмов шифрования DES и AES. Восстановленные функционально-структурные блоки алгоритмов (в частности – блок подстановок) были успешно верифицированы.
Заказная интегральная схема, идентификация, верификация, функционально-структурная спецификация, алгоритм шифрования
Короткий адрес: https://sciup.org/14132950
IDR: 14132950 | DOI: 10.15622/ia.24.2.6