ISSN 1998-8605 · EISSN 2311-2085
Языки: ru · en

ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА. УПРАВЛЕНИЕ, ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА И ИНФОРМАТИКА

ПОСТРОЕНИЕ ЭКВИВАЛЕНТНЫХ СХЕМ В СИСТЕМАХ ТРОИРОВАНИЯ (2024)

Троирование - один из широко используемых на практике подходов к обеспечению надежности функционирования логических схем. Появившиеся в последние годы возможности одновременного введения в каждую копию и соответствующие линии вредоносных подсхем (Trojan Circuits) делают метод троирования уязвимым к таким действиям. Выходом из этой ситуации является использование вместо трех идентичных схем либо двух аппроксимирующих схем, либо трех эквивалентных схем, отличающихся структурной реализацией друг от друга. Построение эквивалентных схем в отличие от использования аппроксимирующих схем не порождает незащищенной области в системе троирования. Предлагается подход к синтезу эквивалентных схем на основе искажения безызбыточной системы ДНФ (БСДНФ), описывающей поведение рабочей схемы системы троирования с последующим использованием искаженных систем в качестве задания на синтез схем тем же методом, что и синтез по БСДНФ. Вклад авторов: все авторы сделали эквивалентный вклад в подготовку публикации. Авторы заявляют об отсутствии конфликта интересов.
Тип: Статья
Автор (ы): Матросова Анжела Юрьевна
Соавтор (ы): Пасько Антонина Дмитриевна, До Там Дык
Ключевые фразы: КОМБИНАЦИОННЫЕ СХЕМЫ, БЕЗЫЗБЫТОЧНЫЕ СИСТЕМЫ ДНФ (БСДНФ), ЭКВИВАЛЕНТНЫЕ СХЕМЫ, ТРОИРОВАНИЕ

Идентификаторы и классификаторы

УДК
519.7. Математическая кибернетика
Префикс DOI
10.17223/19988605/67/12
eLIBRARY ID
67885869
Текстовый фрагмент статьи