Academic Journal
Applying the predicate logic for cyber security artifacts verification in design of the critical purpose systems
| Τίτλος: | Applying the predicate logic for cyber security artifacts verification in design of the critical purpose systems |
|---|---|
| Πηγή: | Data Recording, Storage & Processing; Vol. 23 No. 4 (2021); 37-46 Регистрация, хранение и обработка данных; Том 23 № 4 (2021); 37-46 Реєстрація, зберігання і обробка даних; Том 23 № 4 (2021); 37-46 |
| Στοιχεία εκδότη: | Інститут проблем реєстрації інформації НАН України, 2021. |
| Έτος έκδοσης: | 2021 |
| Θεματικοί όροι: | системи критичного призначення, автоматизовані сис-теми управління технологічними процесами, кібербезпека, кіберзахист, ризик, об'єкт критичної інформаційної інфраструктури, предикат, critical systems, automated process control systems, cybersecurity, cybersecurity, risk, critical information infrastructure, predicate |
| Περιγραφή: | With the development of information technology (IT) and convergence between IT and operation technology (OT), an important aspect of the stability of critical systems has become the provision of cybersecurity of critical information infrastructure. To protect the information, the legislation of Ukraine provides determines for the construction usage of comprehensive complex information security protection systems and information security management systems. However, for critical systems such approaches mostly generalized. When designing critical systems, considerable attention paid to meeting the requirements for reliability and quality at each stage. At the same time, the influence of internal and external factors on the functioning of such systems and their probabilistic characteristics sometimes left without proper attention. The study is devoted to the possible consequences of the failure of such systems (significant tangible and intangible losses), to take into account the possible impact of uncertainty on the results of their work (risk), a method of using predicate logic to create relationships of artifacts. The source of data for the verification of artefacts during modernization are the processes of audit of information security management systems or state examination of complex information security systems. Given that, the logic of predicates used to develop an algorithm for finding common factors, conditions, consequences for many objects, which include single artifacts and create relationships between single and grouped artifacts.The essence of the proposed method of verifying artefacts using predicate logic is that each element of the system (hardware, software and hardware component, etc.) has a certain vulnerability associated with violations of its properties. This will simplify the automation of protection processes and will significantly increase the efficiency of existing information security mechanisms.Therefore, the developed approach to the security artifacts verification using predicate logic can be successfully applied for relaxation the verification process complexity using automation tools. In future studies, expansion and prioritization of existing chains can significantly improve the results of risk analysis and classification of critical information infrastructure facilities by maturity level. Fig.: 2. Refs: 25 titles. З розвитком інформаційних технологій важливим аспектом стабільності функціонування систем критичного призначення стало забезпечення кібербезпеки об’єктів критичної інформаційної інфраструктури. Для захисту інформації законодавством України передбачено побудову комплексних систем захисту інформації і систем управління інформаційної безпеки. Проте щодо систем критичного призначення такі підходи мають загальний характер і можуть бути ефективно використані при забезпеченні кіберзахисту окремих сегментів таких систем. Під час проєктування систем критичного призначення значна увага приділяється виконанню вимог до надійності і якості на кожній стадії. Водночас вплив внутрішнього та зовнішнього факторів на функціонування таких систем і їхні імовірнісні характеристики іноді залишаються без належної уваги. Враховуючи можливі наслідки порушення функціонування таких систем (значні матеріальні та нематеріальні збитки), для врахування можливого впливу невизначеності на результати їхньої роботи (ризику) запропоновано використати логіку предикатів для створення зв’язків властивостей артефактів. Саме автоматизація процесів захисту дасть можливість значно підвищити ефективність існуючих механізмів захисту. |
| Τύπος εγγράφου: | Article |
| Περιγραφή αρχείου: | application/pdf |
| Γλώσσα: | Ukrainian |
| ISSN: | 1560-9189 |
| Σύνδεσμος πρόσβασης: | http://drsp.ipri.kiev.ua/article/view/265714 |
| Αριθμός Καταχώρησης: | edsair.scientific.p..253a6a612729cc87d8f80e8edf8d207f |
| Βάση Δεδομένων: | OpenAIRE |
| ISSN: | 15609189 |
|---|