Статья: ПОСТРОЕНИЕ ЭКВИВАЛЕНТНЫХ СХЕМ В СИСТЕМАХ ТРОИРОВАНИЯ
Троирование - один из широко используемых на практике подходов к обеспечению надежности функционирования логических схем. Появившиеся в последние годы возможности одновременного введения в каждую копию и соответствующие линии вредоносных подсхем (Trojan Circuits) делают метод троирования уязвимым к таким действиям. Выходом из этой ситуации является использование вместо трех идентичных схем либо двух аппроксимирующих схем, либо трех эквивалентных схем, отличающихся структурной реализацией друг от друга. Построение эквивалентных схем в отличие от использования аппроксимирующих схем не порождает незащищенной области в системе троирования. Предлагается подход к синтезу эквивалентных схем на основе искажения безызбыточной системы ДНФ (БСДНФ), описывающей поведение рабочей схемы системы троирования с последующим использованием искаженных систем в качестве задания на синтез схем тем же методом, что и синтез по БСДНФ. Вклад авторов: все авторы сделали эквивалентный вклад в подготовку публикации. Авторы заявляют об отсутствии конфликта интересов. |
Информация о документе
- Формат документа
-
PDF
- Кол-во страниц
-
1 страница
- Лицензия
-
—
- Доступ
-
Всем
- Просмотров
-
1
Информация о статье
- ISSN
-
1998-8605
- EISSN
-
2311-2085
- Префикс DOI
-
10.17223/19988605/67/12
- Журнал
-
ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА. УПРАВЛЕНИЕ, ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА И ИНФОРМАТИКА
- Автор(ы)
-
Матросова А. Ю., Пасько А. Д., До Т. Д.
Функция скачивания доступна только авторизованным
пользователям. Зарегистрируйтесь или войдите в свой
аккаунт.