МЕТОДИ АНАЛІЗУ ВРАЗЛИВОСТЕЙ АПАРАТНОГО ЗАБЕЗПЕЧЕННЯ

Гаврилів, В. В.

DSpace Home
→
ПЕРІОДИЧНІ ВИДАННЯ ХДУ
→
Магістерські студії (Вип. 21, 22, 23, 24)
→
View Item

dc.contributor.author	Гаврилів, В. В.
dc.date.accessioned	2024-12-12T18:15:36Z
dc.date.available	2024-12-12T18:15:36Z
dc.date.issued	2024
dc.identifier.uri	https://ekhsuir.kspu.edu/handle/123456789/20085
dc.description	Гаврилів, В. В. Методи аналізу вразливостей апаратного забезпечення / В. В. Гаврилів // Магістерські студії. Альманах / ред. кол. : Д. С. Мальчикова, Т. С. Корнішева. – Херсон ; Івано-Франківськ : ХДУ, 2024. – Вип. 24. – С. 669-671.	en_US
dc.description.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.	en_US
dc.subject	рівні проектування програмного забезпечення	en_US
dc.subject	рівні проектування апаратного забезпечення	en_US
dc.subject	інсерційне моделювання	en_US
dc.subject	агенти та середовища	en_US
dc.subject	software development levels	en_US
dc.subject	hardware development levels	en_US
dc.subject	insertion modeling	en_US
dc.subject	agents and environments	en_US
dc.title	МЕТОДИ АНАЛІЗУ ВРАЗЛИВОСТЕЙ АПАРАТНОГО ЗАБЕЗПЕЧЕННЯ	en_US
dc.type	Article	en_US