Telecommunication systems.

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