Контроль надежности защиты интегральных схем от троянов: кодирование и декодирование комбинационных структур

Золоторевич, Л. А.; Ильинков, В. А.; Zolotorevich, L. A.; Ilyinkov, V. A.

Контроль надежности защиты интегральных схем от троянов: кодирование и декодирование комбинационных структур

Золоторевич, Л. А., Ильинков, В. А., Zolotorevich, L. A., Ilyinkov, V. A.

Дата публикации: 2021

Дата публикации в реестре: 2024-03-01T13:21:03Z

Аннотация:

В работе рассматриваются особенности и надежность логического кодирования комбинационных схем. Предлагается алгоритм взлома кода комбинационных схем, основанный на описании закодированной структуры функцией разрешения и сведении задачи к КНФ-выполнимости. Исходными данными для декодирования структуры цифрового устройства являются структурная реализация закодированной схемы, полученная, например, методом обратного проектирования (проектирования по прототипу), а также активированный физический образец интегральной схемы, в защищенную от несанкционированного доступа память которой загружено правильное значение ключа. Этот образец может использоваться в виде модели черного ящика. Основная идея взлома ключа состоит в том, чтобы решить задачу, не прибегая к исследованиям на большом интервале значений входных и выходных переменных.

Ключевые слова:
публикации ученых, цифровые устройства, логическое кодирование, выполнимость КНФ-функции, digital devices, logical coding, SAT CNF

Тип: Статья