МЕТОДИ АНАЛІЗУ ВРАЗЛИВОСТЕЙ АПАРАТНОГО ЗАБЕЗПЕЧЕННЯ
No Thumbnail Available
Date
2024
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
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.
Keywords
рівні проектування програмного забезпечення, рівні проектування апаратного забезпечення, інсерційне моделювання, агенти та середовища, software development levels, hardware development levels, insertion modeling, agents and environments