000			04411nab a2200361 c 4500
001			vtls000634890
003			RU-ToGU
005			20230123124829.0
007			cr |
008			181019|2017 ru s c rus d
024	7		_a10.15514/ISPRAS-2017-29(5)-4 _2doi
035			_ato000634890
040			_aRU-ToGU _brus _cRU-ToGU
100	1		_aМатросова, Анжела Юрьевна _965116
245	1	0	_aСинтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits) _cА. Ю. Матросова, С. А. Останин, Е. А. Николаева
246	1	1	_aPartially programmable circuit design oriented to masking Trojan Circuits
504			_aБиблиогр.: 6 назв.
520	3		_aПри синтезе современных интегральных схем разработчики все чаще прибегают к услугам сторонних фирм для реализации тех или иных компонент системы (Intellectual Property cores, перепрограммируемых компонент на базе FPGA и т.д.) с целью снижения ее стоимости. В компонентах, изготовленных сторонними фирмами, могут быть спрятаны вредоносные подсхемы (Trojan circuits) c целью разрушения системы или извлечения из нее конфиденциальной информации. Trojan Circuits (TCs) обычно действуют в ситуациях, которые возникают в работающей системе чрезвычайно редко, поэтому они не обнаружимы ни в процессе верификации системы, ни в процессе ее тестирования. В работе предлагается подход к проектированию частично программируемых схем из вентилей, программируемых блоков памяти (LUTs) и программируемых мультиплексоров (MUXs), ориентированный на маскирование ТCs. Такой подход к синтезу позволяет либо замаскировать действие TC в случае ее обнаружения, либо получить схему, в которой эффективное введение TCs становится невозможным. Предложен способ перепрограммирования блоков памяти LUTs для маскирования TC. Сформулировано требование к замещающей функции, поступающей на свободный вход программируемого блока, основанное на анализе частичных функций внутренних полюсов комбинационной схемы. Построение частичных функций выполняется с использованием операций над Reduced Ordered Binary Decision Diagrams (ROBDD-графами), строящимися для фрагментов схемы. Операции характеризуются полиномиальной сложностью.
653			_aчастично программируемые схемы
653			_aвредоносные подсхемы
653			_aмаскирование
653			_aчастичные функции
653			_aсинтез схем
653			_aROBDD-графы
655		4	_aстатьи в журналах _9745982
700	1		_aОстанин, Сергей Александрович _969282
700	1		_aНиколаева, Екатерина Александровна _983583
773	0		_tТруды Института системного программирования РАН _d2017 _gТ. 29, вып. 5. С. 61-73 _x2079-8156
852	4		_aRU-ToGU
856	7		_uhttp://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000634890
908			_aстатья
999			_c441433