Виявлення вразливостей в програмних моделях апаратних засобів
Вантажиться...
Дата
2024
Назва журналу
Номер ISSN
Назва тому
Видавець
Хмельницький національний університет
Анотація
В роботі розглянуто проблему виявлення сторонніх знаків в програмних моделях апаратних засобів. Для її
вирішення запропонована стратегія, що базується на використанні генетичного алгоритму. Після проведення аналізу було встановлено, що традиційна модель генетичного алгоритму не підходить через її низьку ефективність. Це пов'язано з проблемами складності, які за своєю суттю виникають як при перетворенні гешу в функції, так і при відображенні запиту на цільовий параметр. Зокрема, було проблемно створити задачі гамільтонового завершення в графі. Ця задача, заснована на рішеннях для визначення мінімальної кількості ребер у графі, яку необхідно додати, щоб забезпечити існування гамільтонового циклу. Таким чином, було запропоновано модифікації, внесені в традиційну модель генетичного алгоритму на додаток до нових функцій, операторів тощо, які були використані. Внесені модифікації в традиційну модель генетичного
алгоритму дозволили розробити стратегію та підхід до виявлення сторонніх знаків внесених в програмні моделі апаратних засобів.
Для проведення експериментів з встановлення ефективності розробленого підходу було розроблено застосунок, етичний алгоритм з модифікаціями. На вхід цього застосунку подається два файли. Перший файл містить програмну модель апаратного пристрою, а другий файл містить еталонну модель цього ж апаратного пристрою. В базі моделей сторонніх знаків зберігаються типові моделі внесення сторонніх знаків. Загалом розроблений застосунок виступає як класифікатор. В результаті його використання в експериментальних дослідженнях на штучних наборах вхідних моделей, він продемонстрував результат класифікації, який оцінено метрикою F1, що дорівнює 82%. Таке значення є допустим. Для його покращення потрібно наповнювати базу моделей сторонніх знаків.
Напрямами подальших досліджень є удосконалення в підході, що базується на модифікаціях в генетичному
алгоритмі. Ці удосконалення першочергово стосуватимуться врахування більшої кількості моделей внесення сторонніх знаків в програмні моделі апаратних засобів.
The work deals with the problem of detecting extraneous signs in software models of hardware. To solve it, a strategy based on the use of a genetic algorithm is proposed. After the analysis, it was found that the traditional genetic algorithm model is not suitable due to its low efficiency. This is due to complexity issues that inherently arise both when converting a hash to a function and when mapping a query to a target parameter. In particular, it was problematic to create Hamiltonian completion problems in the graph. This problem is based on solutions to determine the minimum number of edges in a graph that must be added to ensure the existence of a Hamiltonian cycle. Thus, the modifications made to the traditional genetic algorithm model were proposed in addition to the new functions, operators, etc. that were used. Modifications made to the traditional model of the genetic algorithm made it possible to develop a strategy and approach to the detection of extraneous signs included in software models of hardware. To conduct experiments to establish the effectiveness of the developed approach, an application was developed that implements a genetic algorithm with modifications. Two files are submitted to the input of this application. The first file contains a software model of a hardware device, and the second file contains a reference model of the same hardware device. The database of third-party mark models contains typical models of entering third-party marks. In general, the developed application acts as a classifier. As a result of its use in experimental studies on artificial sets of input models, it demonstrated a classification result evaluated by the F1 metric equal to 82%. Such a value is permissible. To improve it, you need to fill the database of models of third-party signs. Directions for further research are improvements in the approach based on modifications in the genetic algorithm. These improvements will primarily concern the consideration of a greater number of models for entering third-party characters into software models of hardware.
The work deals with the problem of detecting extraneous signs in software models of hardware. To solve it, a strategy based on the use of a genetic algorithm is proposed. After the analysis, it was found that the traditional genetic algorithm model is not suitable due to its low efficiency. This is due to complexity issues that inherently arise both when converting a hash to a function and when mapping a query to a target parameter. In particular, it was problematic to create Hamiltonian completion problems in the graph. This problem is based on solutions to determine the minimum number of edges in a graph that must be added to ensure the existence of a Hamiltonian cycle. Thus, the modifications made to the traditional genetic algorithm model were proposed in addition to the new functions, operators, etc. that were used. Modifications made to the traditional model of the genetic algorithm made it possible to develop a strategy and approach to the detection of extraneous signs included in software models of hardware. To conduct experiments to establish the effectiveness of the developed approach, an application was developed that implements a genetic algorithm with modifications. Two files are submitted to the input of this application. The first file contains a software model of a hardware device, and the second file contains a reference model of the same hardware device. The database of third-party mark models contains typical models of entering third-party marks. In general, the developed application acts as a classifier. As a result of its use in experimental studies on artificial sets of input models, it demonstrated a classification result evaluated by the F1 metric equal to 82%. Such a value is permissible. To improve it, you need to fill the database of models of third-party signs. Directions for further research are improvements in the approach based on modifications in the genetic algorithm. These improvements will primarily concern the consideration of a greater number of models for entering third-party characters into software models of hardware.
Опис
Ключові слова
апаратне забезпечення, вразливості, генетичний алгоритм, hardware, vulnerabilities, genetic algorithm
Бібліографічний опис
Виявлення вразливостей в програмних моделях апаратних засобів / О.Смірнов, О. Клейн, О. Глухенький, Л. Лутюк, Б. Семенюк // Вимірювальна та обчислювальна техніка в технологічних процесах. – 2024. – № 2. – С. 277-285.