МУЛЬТИГРАФОВА МОДЕЛЬ ІНФОРМАЦІЙНИХ ПОТОКІВ ДЛЯ АНАЛІЗУ ЗАХИЩЕНОСТІ ІНФОРМАЦІЇ В КОМП’ЮТЕРНИХ СИСТЕМАХ

Анотація

У статті розглянуто підхід до формалізованого опису процесів передавання інформації в інформаційних системах на основі моделі елементарних інформаційних потоків. Проведено огляд існуючих рішень у сфері застосування моделей інформаційних потоків для задач інформаційної безпеки та показано обмеження наявних підходів, пов’язані з недостатньою формалізацією каналів передавання інформації. Запропоновано мультиграфову модель елементарних інформаційних потоків, яка враховує гетерогенність каналів взаємодії та дає змогу описувати гетерогенні комп’ютерні системи за допомогою скінченної множини елементів. На прикладі процесу передавання електронної пошти продемонстровано практичне застосування розробленої моделі. Показано, що запропонований підхід може слугувати формальною основою для подальшого аналізу загроз інформаційній безпеці, побудови моделей загроз і формування політики розмежування доступу.