Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits) (Record no. 441433)

MARC details
000 -Маркер записи
Контрольное поле постоянной длины 04411nab a2200361 c 4500
001 - Контрольный номер
Контрольное поле vtls000634890
005 - Дата корректировки
Контрольное поле 20230123124829.0
007 - Кодируемые данные (физ. описан.)
Контрольное поле постоянной длины cr |
008 - Кодируемые данные
Контрольное поле постоянной длины 181019|2017 ru s c rus d
024 7# - Прочие стандартные номера
Стандартный номер 10.15514/ISPRAS-2017-29(5)-4
Источник номера doi
035 ## - Системный контрольный номер
Системный контрольный номер to000634890
040 ## - Источник каталогиз.
Служба первич. каталог. RU-ToGU
Код языка каталог. rus
Служба, преобразующая запись RU-ToGU
100 1# - Автор
Автор Матросова, Анжела Юрьевна
9 (RLIN) 65116
245 10 - Заглавие
Заглавие Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits)
Ответственность А. Ю. Матросова, С. А. Останин, Е. А. Николаева
246 11 - Заглавие тома/части
Заглавие тома/части Partially programmable circuit design oriented to masking Trojan Circuits
504 ## - Библиография
Библиография Библиогр.: 6 назв.
520 3# - Аннотация
Аннотация При синтезе современных интегральных схем разработчики все чаще прибегают к услугам сторонних фирм для реализации тех или иных компонент системы (Intellectual Property cores, перепрограммируемых компонент на базе FPGA и т.д.) с целью снижения ее стоимости. В компонентах, изготовленных сторонними фирмами, могут быть спрятаны вредоносные подсхемы (Trojan circuits) c целью разрушения системы или извлечения из нее конфиденциальной информации. Trojan Circuits (TCs) обычно действуют в ситуациях, которые возникают в работающей системе чрезвычайно редко, поэтому они не обнаружимы ни в процессе верификации системы, ни в процессе ее тестирования. В работе предлагается подход к проектированию частично программируемых схем из вентилей, программируемых блоков памяти (LUTs) и программируемых мультиплексоров (MUXs), ориентированный на маскирование ТCs. Такой подход к синтезу позволяет либо замаскировать действие TC в случае ее обнаружения, либо получить схему, в которой эффективное введение TCs становится невозможным. Предложен способ перепрограммирования блоков памяти LUTs для маскирования TC. Сформулировано требование к замещающей функции, поступающей на свободный вход программируемого блока, основанное на анализе частичных функций внутренних полюсов комбинационной схемы. Построение частичных функций выполняется с использованием операций над Reduced Ordered Binary Decision Diagrams (ROBDD-графами), строящимися для фрагментов схемы. Операции характеризуются полиномиальной сложностью.
653 ## - Ключевые слова
Ключевые слова частично программируемые схемы
653 ## - Ключевые слова
Ключевые слова вредоносные подсхемы
653 ## - Ключевые слова
Ключевые слова маскирование
653 ## - Ключевые слова
Ключевые слова частичные функции
653 ## - Ключевые слова
Ключевые слова синтез схем
653 ## - Ключевые слова
Ключевые слова ROBDD-графы
655 #4 - Термин индексирования — жанр/форма
Жанр/форма статьи в журналах
9 (RLIN) 745982
700 1# - Другие авторы
Другие авторы Останин, Сергей Александрович
9 (RLIN) 69282
700 1# - Другие авторы
Другие авторы Николаева, Екатерина Александровна
9 (RLIN) 83583
773 0# - Источник информации
Название источника Труды Института системного программирования РАН
Место и дата издания 2017
Прочая информация Т. 29, вып. 5. С. 61-73
ISSN 2079-8156
852 4# - Местонахождение единицы хранения
Код организации-хранителя RU-ToGU
856 7# - Электронный адрес документа
URL <a href="http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000634890">http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000634890</a>
908 ## - Параметр входа данных
Параметр входа данных статья
999 ## - Системные контрольные номера (Koha)
biblionumber (Koha) 441433

No items available.