Abstract:
У статті обґрунтовано основні методи аналізу можливих шляхів атаки на апаратне забезпечення через інтегровані програмні системи, та розглядаються механізми організації захисту, використовуючи технології перевірки.
The article substantiates the main methods of analyzing possible ways of attacking hardware through integrated software systems, and considers the mechanisms of protection organization using model checking technologies.
Description:
Гаврилів, В. В. Методи аналізу вразливостей апаратного забезпечення / В. В. Гаврилів // Магістерські студії. Альманах / ред. кол. : Д. С. Мальчикова, Т. С. Корнішева. – Херсон ; Івано-Франківськ : ХДУ, 2024. – Вип. 24. – С. 669-671.
