Academic Journal
Object-oriented model of a formal description of an information and communication system
| Τίτλος: | Object-oriented model of a formal description of an information and communication system |
|---|---|
| Πηγή: | Радіотехніка; № 209 (2022): Радіотехніка; 110-117 Радиотехника; № 209 (2022): Радиотехника; 110-117 Radiotekhnika; No. 209 (2022): Radiotekhnika; 110-117 |
| Στοιχεία εκδότη: | Kharkiv National University of Radio Electronics, 2022. |
| Έτος έκδοσης: | 2022 |
| Θεματικοί όροι: | інформаційно-комунікаційна система, информационно-коммуникационная система, formal description technique, комунікаційні мережі, communication networks, методика формального описания, коммуникационные сети, information and communication system, методика формального опису, UML |
| Περιγραφή: | The purpose of the article is to study algorithms for the formal description of information and communication systems. The article discusses the main provisions on the formal representation of objects of information and communication systems. It is noted that the main environments of the information and communication system that are subject to a formal description are: physical environment, computing system environment, user environment, information environment. These components of the information and communication system are considered in detail, analyzed and documented in an informal form (in the form of text). There is a need for a mechanism for a unified description of a system that includes all environments. Such a description will be unambiguously formalized with well-defined mathematical concepts. The mechanism of a single formal description or the technique of a formal description will be unambiguous in understanding and serve as a control description when developing an information security policy in an information and communication system. An algorithm for the formal description of the information and communication system is proposed. In this algorithm, it is proposed to focus on the types and interaction of objects with each other. In such a scheme, attention is focused on such concepts as the object, the characteristics of the object, and the type of interaction with the object. Further consideration of the created block diagrams (graphs) is proposed to explore the possibilities of using this model to simulate cyber-attacks. Since each element contains fields that connect it to other elements, and each attack has an "entry point" using graph theory, it is possible to traverse the graph to determine the possible horizontal propagation paths of a cyber-attack. Цель статьи – исследование алгоритмов формального описания информационно-коммуникационных систем. Рассматриваются основные положения по формальному представлению объектов информационно-коммуникационных систем. Отмечено, что основными средами информационно-коммуникационной системы, подлежащих формальному описанию, являются: физическая среда, среда вычислительной системы, среда пользователей, информационная среда. Данные компоненты информационно-коммуникационной системы подробно рассматриваются, анализируются и документируются неформальном виде (в виде текста). Возникает необходимость в механизме единого описания системы, включающей в себя все среды. Такое описание будет однозначно формализовано с четко определенными математическими понятиями. Механизм единого формального описания или методика формального описания будет однозначна в понимании и служит управляющим описанием при разработке политики безопасности информации в информационно-коммуникационной системе. Предложен алгоритм формального описания информационно-коммуникационной системы. В данном алгоритме предлагается сосредоточиться на типах и взаимодействии объектов друг с другом. В такой схеме происходит сосредоточение внимания на таких понятиях, как объект, характеристики объекта и тип взаимодействия с объектом. Предлагается дальнейшее рассмотрение созданных блок-схем (графов) для исследования возможностей использования данной модели для симуляции кибератак. Поскольку каждый элемент содержит поля, связывающие его с другими элементами, а каждая атака имеет «точку входа» с помощью теории графов, можно осуществлять обход графа для определения возможных путей горизонтального распространения кибератаки. Мета статті – дослідження алгоритмів формального опису інформаційно-комунікаційних систем. Розглядаються основні положення щодо формального представлення об’єктів інформаційно-комунікаційних систем. Зазначено, що основними середовищами інформаційно-комунікаційної системи, що підлягають формальному опису, є: фізичне середовище, середовище обчислювальної системи, середовище користувачів, інформаційне середовище. Дані компоненти інформаційно-комунікаційної системи детально розглядаються, аналізуються та документуються в неформальному вигляді (у вигляді тексту). Виникає необхідність у механізмі єдиного опису системи, що буде включати в себе всі середовища. Такий опис буде однозначно формалізований з чітко визначеними математичними поняттями. Механізм єдиного формального опису або методика формального опису буде однозначна в розумінні та слугуватиме керуючим описом при розробці політики безпеки інформації в інформаційно-комунікаційній системі. Запропоновано алгоритм формального опису інформаційно-комунікаційної системи. В даному алгоритмі пропонується зосередитися на типах об’єктів та взаємодії об’єктів один з іншим. В такій схемі відбувається зосередження уваги на таких поняттях, як об’єкт, характеристики об’єкту та тип взаємодії з об’єктом. Пропонується подальший розгляд створених блок-схем (графів) для дослідження можливостей використання даної моделі для симуляції кібератак. Оскільки кожний елемент містить поля, що зв’язують його з іншими елементами, а кожна атака має «точку входу» за допомогою теорії графів можливо здійснювати обхід графу для визначення можливих шляхів горизонтального розповсюдження кібератаки. |
| Τύπος εγγράφου: | Article |
| Περιγραφή αρχείου: | application/pdf |
| Γλώσσα: | Ukrainian |
| ISSN: | 0485-8972 2786-5525 |
| Σύνδεσμος πρόσβασης: | http://rt.nure.ua/article/view/262514 |
| Αριθμός Καταχώρησης: | edsair.scientific.p..f04e9d85b6dffcde8b2c17160ece6990 |
| Βάση Δεδομένων: | OpenAIRE |
| ISSN: | 04858972 27865525 |
|---|