| DC Field | Value | Language |
|---|
| dc.contributor.author | Золоторевич, Л. А. | - |
| dc.contributor.author | Ильинков, В. А. | - |
| dc.contributor.author | Zolotorevich, L. A. | - |
| dc.contributor.author | Ilyinkov, V. A. | - |
| dc.date.accessioned | 2021-11-23T06:44:24Z | - |
| dc.date.available | 2021-11-23T06:44:24Z | - |
| dc.date.issued | 2021 | - |
| dc.identifier.citation | Золоторевич, Л. А. Контроль надежности защиты интегральных схем от троянов: кодирование и декодирование комбинационных структур / Л. А. Золоторевич, В. А. Ильинков // Информатика. – 2021. − Т. 18, № 3. – С. 7–17. – DOI : https://doi.org/10.37661/1816-0301-2021-18-3-7-17. | ru_RU |
| dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/45982 | - |
| dc.description.abstract | В работе рассматриваются особенности и надежность логического кодирования комбинационных схем. Предлагается алгоритм взлома кода комбинационных схем, основанный на описании закодированной структуры функцией разрешения и сведении задачи к КНФ-выполнимости. Исходными данными для декодирования структуры цифрового устройства являются структурная реализация закодированной схемы, полученная, например, методом обратного проектирования (проектирования по прототипу), а также активированный физический образец интегральной схемы, в защищенную от несанкционированного доступа память которой загружено правильное значение ключа. Этот образец может использоваться в виде модели черного ящика. Основная идея взлома ключа состоит в том, чтобы решить задачу, не прибегая к исследованиям на большом интервале значений входных и выходных переменных. | ru_RU |
| dc.language.iso | ru | ru_RU |
| dc.publisher | Объединенный институт проблем информатики Национальной академии наук Беларуси | ru_RU |
| dc.subject | публикации ученых | ru_RU |
| dc.subject | цифровые устройства | ru_RU |
| dc.subject | логическое кодирование | ru_RU |
| dc.subject | выполнимость КНФ-функции | ru_RU |
| dc.subject | digital devices | ru_RU |
| dc.subject | logical coding | ru_RU |
| dc.subject | SAT CNF | ru_RU |
| dc.title | Контроль надежности защиты интегральных схем от троянов: кодирование и декодирование комбинационных структур | ru_RU |
| dc.title.alternative | Monitoring the reliability of integrated circuits protection against Trojans: encoding and decoding of combinational structures | ru_RU |
| dc.type | Статья | ru_RU |
| local.description.annotation | The paper discusses the features and reliability of logical coding of combinational circuits. An algorithm for cracking the code of combinational circuits is proposed, based on the description of encoded structure by the resolution function and reducing the problem to SAT CNF. The initial data for decoding the structure of a digital device is the structural implementation of encoded circuit, obtained, for example, by reverse engineering (prototype design), as well as an activated physical sample of an integrated circuit, when into protected from unauthorized access memory the correct key value is loaded. This sample can be used as a black box model. The main idea of breaking a key is to solve a problem without research on a large interval of values of input and output variables. | - |
| Appears in Collections: | Публикации в изданиях Республики Беларусь
|
