Публікація: Формальные основы методов блокировки аппаратных закладных устройств
Завантаження...
Файли
Дата
Автори
Назва журналу
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.