Горбачев, В. А.2016-06-162016-06-162012Горбачев, В. А. Формальные основы методов блокировки аппаратных закладных устройств / В. А. Горбачев // Прикладная радиоэлектроника : науч.-техн. журн. – Х. : ХНУРЭ, 2012. – Т. 11, № 2. – С. 275–280.http://openarchive.nure.ua/handle/document/976Рассматривается классификация аппаратных закладных устройств, анализ современных методов их обнаружения и предлагается формальная основа методов проектирования сложных электронных систем, которые блокируют аппаратные закладные устройства. 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.ruмодель аппаратной закладкиклассификация аппаратных закладокфункции управления доступомоператор сопряженииArticle