Зображення обкладинки

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2021
Автори:	Давидюк, А. В., Зубок, В. Ю.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Інститут проблем реєстрації інформації НАН України 2021
Теми:	critical systems automated process control systems cybersecurity risk critical information infrastructure predicate
Онлайн доступ:	http://drsp.ipri.kiev.ua/article/view/265714
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Data Recording, Storage & Processing

Репозитарії

Data Recording, Storage & Processing

Схожі ресурси

Applying the predicate logic for cyber security artifacts verification in design of the critical purpose systems
за авторством: A. V. Davydiuk, та інші
Опубліковано: (2021)

Improving the security of critical infrastructures through automated organizational management systems
за авторством: Додонов, О. Г., та інші
Опубліковано: (2022)

Features for providing of cyber security
за авторством: Prysiazhniuk, M. M., та інші
Опубліковано: (2017)

Features of decision support in government situational centers to protect critical infrastructure
за авторством: Гречанінов , В. Ф.
Опубліковано: (2021)

Organizational and legal mechanisms of cybersecurity and cyber defense in Ukraine: essentiality, conditions and development prospects
за авторством: Semenchenko, A.I., та інші
Опубліковано: (2020)

Simplicial analysis of the structure of a cognitive model for researching the security of critical infrastructure object
за авторством: Saliieva, O. V., та інші
Опубліковано: (2020)

Neurosymbolic models for ensuring cybersecurity in critical cyberphysical systems
за авторством: Yevdokymov, S.O.
Опубліковано: (2025)

A methodology and architecture of the platform for modeling interdependencies in critical infrastructures when cascading effects occur
за авторством: Сенченко, В. Р., та інші
Опубліковано: (2025)

An analysis of the Internet Nodes Security from route hijack cyber attacks
за авторством: Zubok, V. Yu.
Опубліковано: (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)
за авторством: Buglak, Olexandra V., та інші
Опубліковано: (2019)

Risk factor analysis of an example of an incident with global routing registry software
за авторством: Zubok, V. Yu.
Опубліковано: (2020)

A combination of traditional methods and a metric approach to assessing the risks from cyber attacks to global routing.
за авторством: Zubok, V. Yu.
Опубліковано: (2019)

EVALUATION TECHNIQUE FOR THE F2 LAYER CRITICAL FREQUENCY BY THE DIFFERENCE OF IONOSPHERE ALFVEN RESONANCE EIGENFREQUENCIES
за авторством: Baru, N. A., та інші
Опубліковано: (2014)

Logical consequence relations in logics of monotone predicates and logics of antitone predicates
за авторством: Shkilniak, O.S.
Опубліковано: (2018)

Cybersecurity maturity models for cybersecurity assessment in critical infrastructure
за авторством: Khudyntsev, Mykola M., та інші
Опубліковано: (2024)

Determination of permissible reduction intensity of the level of security for an object of critical infrastructure by ranking of threats
за авторством: Saliieva, O. V., та інші
Опубліковано: (2020)

Automation of standardized cyber insurance processes
за авторством: Khudyntsev, Mykola, та інші
Опубліковано: (2025)

Logical consequence relations in logics of quasiary predicates
за авторством: Shkilniak, O.S.
Опубліковано: (2018)

Modeling the suitability of territories for the deployment of Ukraine's critical infrastructure in the face of military threats
за авторством: Borovyk, Karolina, та інші
Опубліковано: (2024)

Relations of logical consequence in logics of partial predicates with composition of predicate complement
за авторством: Shkilniak, O.S.
Опубліковано: (2019)

A review of methods and technologies for scenario analysis of cascading effects
за авторством: Сенченко, В. Р., та інші
Опубліковано: (2024)

Propositional logics of partial predicates with composition of predicate complement
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2019)

A network approach in the study of cascading effects critical infrastructures
за авторством: Хоменко, О. М., та інші
Опубліковано: (2024)

Methodological basis of orthotransformed space images application for the environmental assessment and software of research
за авторством: Lunova, Oksana, та інші
Опубліковано: (2019)

Pure first-order logics of quasiary predicates
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)

Threat assessment mathematical model for potentially dangerous objects of critical infrastructure in the combat zone
за авторством: Murasov, R.K., та інші
Опубліковано: (2023)

Pure first-order quasiary logics with equality predicates
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)

Synthesis of information and telecommunication networks of automatized environmental security systems with the purpose of gaining maximum noise resistance with a given efficiency
за авторством: Dovgiy, Stanislav O., та інші
Опубліковано: (2021)

First-order logics with partial predicates for checking variable definedness
за авторством: Shkilniak, S.S.
Опубліковано: (2025)

Territorially distributed information computer systems in a unified information space: basic concepts and definitions
за авторством: Додонов, О. Г., та інші
Опубліковано: (2024)

Network and economic component of financial cybersecurity indices
за авторством: Turchynov, Oleksandr, та інші
Опубліковано: (2025)

Logics of general non-deterministic predicates: semantic aspects
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)

Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2020)

First-order composition-nominative logics with predicates of weak equality and of strong equality
за авторством: Shkilniak, S.S.
Опубліковано: (2019)

Composition nominative modal logics of partial non-monotone predicates and their calculi
за авторством: Shkilniak, O.S., та інші
Опубліковано: (2018)

Information technology of IT-infrastructure management architecture elements
за авторством: Dovgiy, Stanislav O., та інші
Опубліковано: (2022)

On classifying the non-Tits \(P\)-critical posets
за авторством: Bondarenko, V. M., та інші
Опубліковано: (2022)

Renewable energy sources for backup energy supply of small wastewater plants and individual households
за авторством: Voloshkina, Olena S., та інші
Опубліковано: (2023)

First-order sequent calculi of logics of quasiary predicates with extended renominations and equality
за авторством: Shkilniak, О.S., та інші
Опубліковано: (2023)

А formal description of the internet global routing objects and processes for global routing cyberattacs impact assessment
за авторством: Zubok, V. Yu.
Опубліковано: (2019)