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