Остання редакція: 2026-06-19
Анотація
Розглянуто задачу аналітичного оцінювання теоретичних меж ймовірності компрометації цільового вузла у двоагентній марковській грі протиборства «атака–захист», побудованій на основі MAL-графа веб-застосунку. Запропоновано метод, що поєднує аналітичне виведення верхньої та нижньої меж із емпіричною перевіркою методом Монте-Карло на основі нерівності Хефдінга. Показано, що при наявності вузлів із нульовим оборонним атрибутом нижня межа дорівнює одиниці незалежно від політики захисника, а у разі ненульових атрибутів ймовірність компрометації затухає експоненційно зі зростанням захисного параметра. Отримані аналітичні оцінки для двох навчальних середовищ узгоджуються з емпіричними значеннями, отриманими для статичних політик опонентів, що підтверджує коректність запропонованого підходу. Метод придатний для перевірки політик, синтезованих методами навчання з підкріпленням, та для побудови довірчих інтервалів ймовірності компрометації з гарантованою точністю.