Построение эквивалентных схем в системах троирования

Троирование − один из широко используемых на практике подходов к обеспечению надежности функционирования логических схем. Появившиеся в последние годы возможности одновременного введения в каждую копию и соответствующие линии вредоносных подсхем (Trojan Circuits) делают метод троирования уязвимым к...

Full description

Bibliographic Details
Published in:Вестник Томского государственного университета. Управление, вычислительная техника и информатика № 67. С. 116-123
Main Author: Матросова, Анжела Юрьевна
Other Authors: Пасько, Антонина Дмитриевна, До Там Дык
Format: Article
Language:Russian
Subjects:
Online Access:http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001144731
LEADER 03200nab a2200337 c 4500
001 koha001144731
005 20241001165931.0
007 cr |
008 240930|2024 ru s c rus d
024 7 |a 10.17223/19988605/67/12  |2 doi 
035 |a koha001144731 
040 |a RU-ToGU  |b rus  |c RU-ToGU 
100 1 |a Матросова, Анжела Юрьевна 
245 1 0 |a Построение эквивалентных схем в системах троирования  |c А. Ю. Матросова, А. Д. Пасько, До Там Дык 
246 1 1 |a Deriving equivalent circuits for TMR technique 
336 |a Текст 
337 |a электронный 
504 |a Библиогр.: 8 назв. 
520 3 |a Троирование − один из широко используемых на практике подходов к обеспечению надежности функционирования логических схем. Появившиеся в последние годы возможности одновременного введения в каждую копию и соответствующие линии вредоносных подсхем (Trojan Circuits) делают метод троирования уязвимым к таким действиям. Выходом из этой ситуации является использование вместо трех идентичных схем либо двух аппроксимирующих схем, либо трех эквивалентных схем, отличающихся структурной реализацией друг от друга. Построение эквивалентных схем в отличие от использования аппроксимирующих схем не порождает незащищенной области в системе троирования. Предлагается подход к синтезу эквивалентных схем на основе искажения безызбыточной системы ДНФ (БСДНФ), описывающей поведение рабочей схемы системы троирования с последующим использованием искаженных систем в качестве задания на синтез схем тем же методом, что и синтез по БСДНФ. 
653 |a комбинационные схемы 
653 |a безызбыточные системы ДНФ 
653 |a эквивалентные схемы 
653 |a троирование 
655 4 |a статьи в журналах 
700 1 |a Пасько, Антонина Дмитриевна 
700 0 |a До Там Дык 
773 0 |t Вестник Томского государственного университета. Управление, вычислительная техника и информатика  |d 2024  |g  № 67. С. 116-123  |x 1998-8605  |w 0210-40860 
852 4 |a RU-ToGU 
856 4 |u http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001144731 
908 |a статья 
999 |c 1144731  |d 1144731