Статья: ПОСТРОЕНИЕ ЭКВИВАЛЕНТНЫХ СХЕМ В СИСТЕМАХ ТРОИРОВАНИЯ

Троирование - один из широко используемых на практике подходов к обеспечению надежности функционирования логических схем. Появившиеся в последние годы возможности одновременного введения в каждую копию и соответствующие линии вредоносных подсхем (Trojan Circuits) делают метод троирования уязвимым к таким действиям. Выходом из этой ситуации является использование вместо трех идентичных схем либо двух аппроксимирующих схем, либо трех эквивалентных схем, отличающихся структурной реализацией друг от друга. Построение эквивалентных схем в отличие от использования аппроксимирующих схем не порождает незащищенной области в системе троирования. Предлагается подход к синтезу эквивалентных схем на основе искажения безызбыточной системы ДНФ (БСДНФ), описывающей поведение рабочей схемы системы троирования с последующим использованием искаженных систем в качестве задания на синтез схем тем же методом, что и синтез по БСДНФ. Вклад авторов: все авторы сделали эквивалентный вклад в подготовку публикации. Авторы заявляют об отсутствии конфликта интересов.

Информация о документе

Формат документа
PDF
Кол-во страниц
1 страница
Лицензия
Доступ
Всем
Просмотров
1

Информация о статье

ISSN
1998-8605
EISSN
2311-2085
Префикс DOI
10.17223/19988605/67/12
Журнал
ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА. УПРАВЛЕНИЕ, ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА И ИНФОРМАТИКА
Год публикации
2024
Автор(ы)
Матросова А. Ю., Пасько А. Д., До Т. Д.