Реєстраційний номер
2121U008720, Матеріали видань та локальних репозитаріїв
Категорія
Стаття, Опубліковано, Рецензована стаття
Назва роботи
АНАЛІЗ І ПОРІВНЯЛЬНЕ ДОСЛІДЖЕННЯ ОСНОВНИХ ПІДХОДІВ МАТЕМАТИЧНОЇ ФОРМАЛІЗАЦІЇ ПРОЦЕСУ ТЕСТУВАННЯ НА ПРОНИКНЕННЯ
Автор
Liqiang Zhang
Weiling Cao
Davydov Viacheslav
Brechko Veronika
Liqiang Zhang
Weiling Cao
Davydov Viacheslav
Brechko Veronika
Дата публікації
31-05-2021
Постачальник інформації
Національний університет «Полтавська політехніка імені Юрія Кондратюка»
Першоджерело
https://journals.nupp.edu.ua/sunz/article/view/2310
Видання
Національний університет «Полтавська політехніка імені Юрія Кондратюка»
Опис
У динамічних моделях загрози (уразливості) Software можна розглядати як потік тимчасових подій. Якщо фіксуються інтервали реалізованих кіберзагроз, то може сформуватися безперервний log-лист подій, відносящіхся до безпеки Software. У ряді випадків і моделей може фіксуватися тільки число реалізованих кібе-ругроз за довільний інтервал часу. У цьому випадку реакція Software на загрози може бути представлена тільки в дискретних точках. У статичних моделях реалізацію кіберзагроз не пов'язують з часом, при цьому враховують зави-ності кількості помилок або число реалізованих тест-кейсів (моделі по області помилок) від характеристики вхідних даних (моделі по області даних).У статті проаналізовано методи математичної формалізації процесу тестування на проникнення програмного забезпечення. Цей метод тестування програмного забезпечення є одним із багатьох підходів до перевірки безпеки комп’ютерних систем. У статті обґрунтовано важливість процесів попереднього прототипування та математичної формалізації. Проведено класифікацію та висвітлено переваги та недоліки основних підходів математичного моделювання. Представлено перелік та основні характеристики динамічних та статичних моделей. Вказується один із негативних факторів формалізації нехтування факторами апріорної невизначеності параметрів безпеки в статичних моделях.
Додано/оновлено в НРАТ
2026-04-19