Инвазивный подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах
Представлен подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах, основанный на инвазивных методах исследования. Актуальность проведённого исследования обусловлена необходимостью проведения верификации функционально-структурных спецификаций, поста...
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Russian Academy of Sciences, St. Petersburg Federal Research Center
2025-04-01
|
| Series: | Информатика и автоматизация |
| Subjects: | |
| Online Access: | https://ia.spcras.ru/index.php/sp/article/view/16772 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849768494747353088 |
|---|---|
| author | Dmitry Nagibin Alexey Petrenko Vladislav Davydenko Igor Kotenko Elena Fedorchenko |
| author_facet | Dmitry Nagibin Alexey Petrenko Vladislav Davydenko Igor Kotenko Elena Fedorchenko |
| author_sort | Dmitry Nagibin |
| collection | DOAJ |
| description | Представлен подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах, основанный на инвазивных методах исследования. Актуальность проведённого исследования обусловлена необходимостью проведения верификации функционально-структурных спецификаций, поставляемых сторонними исполнителями аппаратных реализаций алгоритмов обеспечения информационной безопасности, сложностью выявления на аппаратном уровне модификаций этих алгоритмов и внедрённых в них недокументированных возможностей и отсутствием единых универсальных или стандартизированных методов решения этой задачи. Сформулирована математическая постановка задачи исследования, суть которой состоит в проверке равенства значений параметров заявленной спецификации с их значениями, восстановленными методом обратного проектирования. Представлены результаты применения предложенного подхода к верификации функционально-структурных спецификаций на примерах аппаратно-реализованных алгоритмов шифрования DES и AES. Восстановленные функционально-структурные блоки алгоритмов (в частности – блок подстановок) были успешно верифицированы. |
| format | Article |
| id | doaj-art-c3d1c09f3c254fbf978d4bb425adfe67 |
| institution | DOAJ |
| issn | 2713-3192 2713-3206 |
| language | English |
| publishDate | 2025-04-01 |
| publisher | Russian Academy of Sciences, St. Petersburg Federal Research Center |
| record_format | Article |
| series | Информатика и автоматизация |
| spelling | doaj-art-c3d1c09f3c254fbf978d4bb425adfe672025-08-20T03:03:46ZengRussian Academy of Sciences, St. Petersburg Federal Research CenterИнформатика и автоматизация2713-31922713-32062025-04-0124252655510.15622/ia.24.2.616772Инвазивный подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемахDmitry Nagibin0Alexey Petrenko1Vladislav Davydenko2Igor Kotenko3Elena Fedorchenko4Federal State Budgetary Military Educational Institution of Higher Education «Military Space Academy named after A.F. Mozhaisky» of the Ministry of Defense of the Russian FederationFederal State Budgetary Military Educational Institution of Higher Education «Military Space Academy named after A.F. Mozhaisky» of the Ministry of Defense of the Russian FederationFederal State Budgetary Military Educational Institution of Higher Education «Military Space Academy named after A.F. Mozhaisky» of the Ministry of Defense of the Russian FederationSt. Petersburg Federal Research Center of the Russian Academy of Sciences (SPC RAS)St. Petersburg Federal Research Center of the Russian Academy of Sciences (SPC RAS)Представлен подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах, основанный на инвазивных методах исследования. Актуальность проведённого исследования обусловлена необходимостью проведения верификации функционально-структурных спецификаций, поставляемых сторонними исполнителями аппаратных реализаций алгоритмов обеспечения информационной безопасности, сложностью выявления на аппаратном уровне модификаций этих алгоритмов и внедрённых в них недокументированных возможностей и отсутствием единых универсальных или стандартизированных методов решения этой задачи. Сформулирована математическая постановка задачи исследования, суть которой состоит в проверке равенства значений параметров заявленной спецификации с их значениями, восстановленными методом обратного проектирования. Представлены результаты применения предложенного подхода к верификации функционально-структурных спецификаций на примерах аппаратно-реализованных алгоритмов шифрования DES и AES. Восстановленные функционально-структурные блоки алгоритмов (в частности – блок подстановок) были успешно верифицированы.https://ia.spcras.ru/index.php/sp/article/view/16772заказная интегральная схемаидентификацияверификацияфункционально-структурная спецификацияалгоритм шифрования |
| spellingShingle | Dmitry Nagibin Alexey Petrenko Vladislav Davydenko Igor Kotenko Elena Fedorchenko Инвазивный подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах Информатика и автоматизация заказная интегральная схема идентификация верификация функционально-структурная спецификация алгоритм шифрования |
| title | Инвазивный подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах |
| title_full | Инвазивный подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах |
| title_fullStr | Инвазивный подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах |
| title_full_unstemmed | Инвазивный подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах |
| title_short | Инвазивный подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах |
| title_sort | инвазивный подход к верификации функционально структурных спецификаций реализованных в заказных интегральных схемах |
| topic | заказная интегральная схема идентификация верификация функционально-структурная спецификация алгоритм шифрования |
| url | https://ia.spcras.ru/index.php/sp/article/view/16772 |
| work_keys_str_mv | AT dmitrynagibin invazivnyjpodhodkverifikaciifunkcionalʹnostrukturnyhspecifikacijrealizovannyhvzakaznyhintegralʹnyhshemah AT alexeypetrenko invazivnyjpodhodkverifikaciifunkcionalʹnostrukturnyhspecifikacijrealizovannyhvzakaznyhintegralʹnyhshemah AT vladislavdavydenko invazivnyjpodhodkverifikaciifunkcionalʹnostrukturnyhspecifikacijrealizovannyhvzakaznyhintegralʹnyhshemah AT igorkotenko invazivnyjpodhodkverifikaciifunkcionalʹnostrukturnyhspecifikacijrealizovannyhvzakaznyhintegralʹnyhshemah AT elenafedorchenko invazivnyjpodhodkverifikaciifunkcionalʹnostrukturnyhspecifikacijrealizovannyhvzakaznyhintegralʹnyhshemah |