Публікація:
Формальные основы методов блокировки аппаратных закладных устройств

Завантаження...
Зображення мініатюри

Дата

2012

Назва журналу

ISSN журналу

Назва тома

Видавництво

ХНУРЭ

Дослідницькі проекти

Організаційні підрозділи

Видання журналу

Анотація

Рассматривается классификация аппаратных закладных устройств, анализ современных методов их обнаружения и предлагается формальная основа методов проектирования сложных электронных систем, которые блокируют аппаратные закладные устройства. The paper considers the malicious hardware classification,analysis of modern detection methods and proposes a formal basis of methods of designing complex electronic systems that block the malicious hardware.

Опис

Ключові слова

модель аппаратной закладки, классификация аппаратных закладок, функции управления доступом, оператор сопряжении

Бібліографічний опис

Горбачев, В. А. Формальные основы методов блокировки аппаратных закладных устройств / В. А. Горбачев // Прикладная радиоэлектроника : науч.-техн. журн. – Х. : ХНУРЭ, 2012. – Т. 11, № 2. – С. 275–280.

DOI