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

doi:10.15514/ISPRAS-2017-29(5)-4

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits)	590 KB	Adobe Acrobat PDF	Read	Download
DOI Доступ к ресурсу на сайте издателя			10.15514/ISPRAS-2017-29(5)-4

#частично программируемые схемы

#вредоносные подсхемы

Title: Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits)
Title: Partially programmable circuit design oriented to masking Trojan Circuits
Creator: Матросова, Анжела Юрьевна
|
Останин, Сергей Александрович
|
Николаева, Екатерина Александровна
Date: 2017
DOI: 10.15514/ISPRAS-2017-29(5)-4
Description: При синтезе современных интегральных схем разработчики все чаще прибегают к услугам сторонних фирм для реализации тех или иных компонент системы (Intellectual Property cores, перепрограммируемых компонент на базе FPGA и т.д.) с целью снижения ее стоимости. В компонентах, изготовленных сторонними фирмами, могут быть спрятаны вредоносные подсхемы (Trojan circuits) c целью разрушения системы или извлечения из нее конфиденциальной информации. Trojan Circuits (TCs) обычно действуют в ситуациях, которые возникают в работающей системе чрезвычайно редко, поэтому они не обнаружимы ни в процессе верификации системы, ни в процессе ее тестирования. В работе предлагается подход к проектированию частично программируемых схем из вентилей, программируемых блоков памяти (LUTs) и программируемых мультиплексоров (MUXs), ориентированный на маскирование ТCs. Такой подход к синтезу позволяет либо замаскировать действие TC в случае ее обнаружения, либо получить схему, в которой эффективное введение TCs становится невозможным. Предложен способ перепрограммирования блоков памяти LUTs для маскирования TC. Сформулировано требование к замещающей функции, поступающей на свободный вход программируемого блока, основанное на анализе частичных функций внутренних полюсов комбинационной схемы. Построение частичных функций выполняется с использованием операций над Reduced Ordered Binary Decision Diagrams (ROBDD-графами), строящимися для фрагментов схемы. Операции характеризуются полиномиальной сложностью.

Relationships: Show Relationship Browser for this Object
collection(s): Институт прикладной математики и компьютерных наук (c 01.09.2017 г.)
Identifier: смотреть в электронном каталоге НБ ТГУ
Type: статьи в журналах
Source: Труды Института системного программирования РАН. 2017. Т. 29, вып. 5. С. 61-73
Language: rus

Created: 19-10-2018

1271 Visitors

1137 Hits

150 Downloads

Институт прикладной математики и компьютерных наук (c 01.09.2017 г.) Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits)