Об’єктно-орієнтована модель формального опису інформаційно-комунікаційної системи

Abstract

Мета статті – дослідження алгоритмів формального опису інформаційно-комунікаційних систем. Розглядаються основні положення щодо формального представлення об’єктів інформаційно-комунікаційних систем. Зазначено, що основними середовищами інформаційно-комунікаційної системи, що підлягають формальному опису, є: фізичне середовище, середовище обчислювальної системи, середовище користувачів, інформаційне середовище. Дані компоненти інформаційно-комунікаційної системи детально розглядаються, аналізуються та документуються в неформальному вигляді (у вигляді тексту). Виникає необхідність у механізмі єдиного опису системи, що буде включати в себе всі середовища. Такий опис буде однозначно формалізований з чітко визначеними математичними поняттями. Механізм єдиного формального опису або методика формального опису буде однозначна в розумінні та слугуватиме керуючим описом при розробці політики безпеки інформації в інформаційно-комунікаційній системі. Запропоновано алгоритм формального опису інформаційно-комунікаційної системи. В даному алгоритмі пропонується зосередитися на типах об’єктів та взаємодії об’єктів один з іншим. В такій схемі відбувається зосередження уваги на таких поняттях, як об’єкт, характеристики об’єкту та тип взаємодії з об’єктом. Пропонується подальший розгляд створених блок-схем (графів) для дослідження можливостей використання даної моделі для симуляції кібератак. Оскільки кожний елемент містить поля, що зв’язують його з іншими елементами, а кожна атака має «точку входу» за допомогою теорії графів можливо здійснювати обхід графу для визначення можливих шляхів горизонтального розповсюдження кібератаки.