МЕТОДИ АНАЛІЗУ ВРАЗЛИВОСТЕЙ АПАРАТНОГО ЗАБЕЗПЕЧЕННЯ
| dc.contributor.author | Гаврилів, В. В. | |
| dc.date.accessioned | 2024-12-12T18:15:36Z | |
| dc.date.available | 2024-12-12T18:15:36Z | |
| dc.date.issued | 2024 | |
| 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.identifier.uri | https://ekhsuir.kspu.edu/handle/123456789/20085 | |
| 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 |
Files
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- Методи аналізу вразливостей апаратного забезпечення.pdf
- Size:
- 320.46 KB
- Format:
- Adobe Portable Document Format
- Description:
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 1.71 KB
- Format:
- Item-specific license agreed upon to submission
- Description: