Buchumschlag

Applying the predicate logic for cyber security artifacts verification in design of the critical purpose systems

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 Ukra...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2021
Hauptverfasser:	Давидюк, А. В., Зубок, В. Ю.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	Інститут проблем реєстрації інформації НАН України 2021
Schlagworte:	critical systems automated process control systems cybersecurity risk critical information infrastructure predicate
Online Zugang:	http://drsp.ipri.kiev.ua/article/view/265714
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Data Recording, Storage & Processing

Institution

Data Recording, Storage & Processing

Ähnliche Einträge

Applying the predicate logic for cyber security artifacts verification in design of the critical purpose systems
von: A. V. Davydiuk, et al.
Veröffentlicht: (2021)

Improving the security of critical infrastructures through automated organizational management systems
von: Додонов, О. Г., et al.
Veröffentlicht: (2022)

Features for providing of cyber security
von: Prysiazhniuk, M. M., et al.
Veröffentlicht: (2017)

Features of decision support in government situational centers to protect critical infrastructure
von: Гречанінов , В. Ф.
Veröffentlicht: (2021)

Organizational and legal mechanisms of cybersecurity and cyber defense in Ukraine: essentiality, conditions and development prospects
von: Semenchenko, A.I., et al.
Veröffentlicht: (2020)

Simplicial analysis of the structure of a cognitive model for researching the security of critical infrastructure object
von: Saliieva, O. V., et al.
Veröffentlicht: (2020)

Neurosymbolic models for ensuring cybersecurity in critical cyberphysical systems
von: Yevdokymov, S.O.
Veröffentlicht: (2025)

A methodology and architecture of the platform for modeling interdependencies in critical infrastructures when cascading effects occur
von: Сенченко, В. Р., et al.
Veröffentlicht: (2025)

An analysis of the Internet Nodes Security from route hijack cyber attacks
von: Zubok, V. Yu.
Veröffentlicht: (2020)

Armed conflict as an environmental risk factor at water supply facilities in еastern Ukraine (case study of “Voda Donbassa” utility company’s Siverskyi Donets – Donbas canal)
von: Buglak, Olexandra V., et al.
Veröffentlicht: (2019)

Risk factor analysis of an example of an incident with global routing registry software
von: Zubok, V. Yu.
Veröffentlicht: (2020)

A combination of traditional methods and a metric approach to assessing the risks from cyber attacks to global routing.
von: Zubok, V. Yu.
Veröffentlicht: (2019)

EVALUATION TECHNIQUE FOR THE F2 LAYER CRITICAL FREQUENCY BY THE DIFFERENCE OF IONOSPHERE ALFVEN RESONANCE EIGENFREQUENCIES
von: Baru, N. A., et al.
Veröffentlicht: (2014)

Logical consequence relations in logics of monotone predicates and logics of antitone predicates
von: Shkilniak, O.S.
Veröffentlicht: (2018)

Cybersecurity maturity models for cybersecurity assessment in critical infrastructure
von: Khudyntsev, Mykola M., et al.
Veröffentlicht: (2024)

Determination of permissible reduction intensity of the level of security for an object of critical infrastructure by ranking of threats
von: Saliieva, O. V., et al.
Veröffentlicht: (2020)

Automation of standardized cyber insurance processes
von: Khudyntsev, Mykola, et al.
Veröffentlicht: (2025)

Logical consequence relations in logics of quasiary predicates
von: Shkilniak, O.S.
Veröffentlicht: (2018)

Modeling the suitability of territories for the deployment of Ukraine's critical infrastructure in the face of military threats
von: Borovyk, Karolina, et al.
Veröffentlicht: (2024)

Relations of logical consequence in logics of partial predicates with composition of predicate complement
von: Shkilniak, O.S.
Veröffentlicht: (2019)

A review of methods and technologies for scenario analysis of cascading effects
von: Сенченко, В. Р., et al.
Veröffentlicht: (2024)

Propositional logics of partial predicates with composition of predicate complement
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2019)

A network approach in the study of cascading effects critical infrastructures
von: Хоменко, О. М., et al.
Veröffentlicht: (2024)

Methodological basis of orthotransformed space images application for the environmental assessment and software of research
von: Lunova, Oksana, et al.
Veröffentlicht: (2019)

Pure first-order logics of quasiary predicates
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)

Threat assessment mathematical model for potentially dangerous objects of critical infrastructure in the combat zone
von: Murasov, R.K., et al.
Veröffentlicht: (2023)

Pure first-order quasiary logics with equality predicates
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)

Synthesis of information and telecommunication networks of automatized environmental security systems with the purpose of gaining maximum noise resistance with a given efficiency
von: Dovgiy, Stanislav O., et al.
Veröffentlicht: (2021)

First-order logics with partial predicates for checking variable definedness
von: Shkilniak, S.S.
Veröffentlicht: (2025)

Territorially distributed information computer systems in a unified information space: basic concepts and definitions
von: Додонов, О. Г., et al.
Veröffentlicht: (2024)

Network and economic component of financial cybersecurity indices
von: Turchynov, Oleksandr, et al.
Veröffentlicht: (2025)

Logics of general non-deterministic predicates: semantic aspects
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)

Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2020)

First-order composition-nominative logics with predicates of weak equality and of strong equality
von: Shkilniak, S.S.
Veröffentlicht: (2019)

Composition nominative modal logics of partial non-monotone predicates and their calculi
von: Shkilniak, O.S., et al.
Veröffentlicht: (2018)

Information technology of IT-infrastructure management architecture elements
von: Dovgiy, Stanislav O., et al.
Veröffentlicht: (2022)

On classifying the non-Tits \(P\)-critical posets
von: Bondarenko, V. M., et al.
Veröffentlicht: (2022)

Renewable energy sources for backup energy supply of small wastewater plants and individual households
von: Voloshkina, Olena S., et al.
Veröffentlicht: (2023)

First-order sequent calculi of logics of quasiary predicates with extended renominations and equality
von: Shkilniak, О.S., et al.
Veröffentlicht: (2023)

А formal description of the internet global routing objects and processes for global routing cyberattacs impact assessment
von: Zubok, V. Yu.
Veröffentlicht: (2019)