Родіонов А. М. Логіко-ймовірнісний підхід до побудови захищених інформаційно-комунікаційних систем

Дисертаційна робот присвячена розробці логіко-ймовірнісного підходу до побудови захищених інформаційно-комунікаційних систем (ІКС), який враховує топологію мережі ІКС, джерела загроз та об'єкти атак, а також механізми захисту. Спочатку будується комплексна модель загроз та функція ймовірності успішності атаки. З використанням топології мережі, джерел загроз та об'єктів атак визначаються можливі сценарії атак, які може реалізувати зловмисник. Припускається, що для успішної атаки зловмисник має послідовно захопити усі проміжні об'єкти, які належать відповідному сценарію атак. Таким чином, кожен зі сценаріїв атак може бути представлено у вигляді функції алгебри логіки. З урахуванням усіх джерел загроз та об'єктів атак записується функція алгебри логіки для всієї системи. З використанням логіко-ймовірнісного методу може бути обчислена ймовірність істинності функції алгебри логіки, яка називається функцією ймовірності успішності атаки. Отримана функція ймовірності успішності атаки дозволяє визначати рівень захищеності ІКС з урахуванням топології мережі. Досліджено структуру та властивості функції ймовірності успішності атаки і показано, що її можна використати у якості критерію під час побудови безпечної топології мережі ІКС, а також для оптимального розміщення механізмів захисту. На основі наведених у роботі методів, моделей та алгоритмів запропоновано логіко-ймовірнісний підхід для побудови захищених ІКС, а також розроблено відповідний програмний модуль аналізу та проектування захищених ІКС.