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

Представлен подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах, основанный на инвазивных методах исследования. Актуальность проведённого исследования обусловлена необходимостью проведения верификации функционально-структурных спецификаций, поста...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Informatika i avtomatizaciâ (Online) Jg. 24; H. 2; S. 526 - 555
Hauptverfasser:	Dmitry Nagibin, Alexey Petrenko, Vladislav Davydenko, Igor Kotenko, Elena Fedorchenko
Format:	Journal Article
Sprache:	Englisch Russisch
Veröffentlicht:	Russian Academy of Sciences, St. Petersburg Federal Research Center 01.04.2025
Schlagworte:	алгоритм шифрования верификация заказная интегральная схема идентификация функционально-структурная спецификация
ISSN:	2713-3192, 2713-3206
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Представлен подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах, основанный на инвазивных методах исследования. Актуальность проведённого исследования обусловлена необходимостью проведения верификации функционально-структурных спецификаций, поставляемых сторонними исполнителями аппаратных реализаций алгоритмов обеспечения информационной безопасности, сложностью выявления на аппаратном уровне модификаций этих алгоритмов и внедрённых в них недокументированных возможностей и отсутствием единых универсальных или стандартизированных методов решения этой задачи. Сформулирована математическая постановка задачи исследования, суть которой состоит в проверке равенства значений параметров заявленной спецификации с их значениями, восстановленными методом обратного проектирования. Представлены результаты применения предложенного подхода к верификации функционально-структурных спецификаций на примерах аппаратно-реализованных алгоритмов шифрования DES и AES. Восстановленные функционально-структурные блоки алгоритмов (в частности – блок подстановок) были успешно верифицированы.
ISSN:	2713-3192 2713-3206
DOI:	10.15622/ia.24.2.6