Формальные основы методов блокировки аппаратных закладных устройств
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів ІнформаціяПоле | Співвідношення | |
Creator |
Горбачев, В. А.
|
|
Date |
2014-08-01T11:13:44Z
2014-08-01T11:13:44Z 2012 |
|
Identifier |
Горбачев, В. А. Формальные основы методов блокировки аппаратных закладных устройств / В. А. Горбачев // Прикладная радиоэлектроника : науч.-техн. журн. – Х. : ХНУРЭ, 2012. – Т. 11, № 2. – С. 275–280.
http://hdl.handle.net/123456789/1285 |
|
Description |
Рассматривается классификация аппаратных закладных устройств, анализ современных методов их обнаружения и предлагается формальная основа методов проектирования сложных электронных систем, которые блокируют аппаратные закладные устройства. 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. |
|
Language |
ru
|
|
Publisher |
ХНУРЭ
|
|
Subject |
модель аппаратной закладки
классификация аппаратных закладок функции управления доступом оператор сопряжении оператор управления соединением элементов ЭС malicious hardware model access operation model electronic system element connection control operator |
|
Title |
Формальные основы методов блокировки аппаратных закладных устройств
|
|
Type |
Article
|
|