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

• Дата: 2021
• Автори: Давидюк, А. В., Зубок, В. Ю.
• Формат: Стаття
• Мова: Ukrainian
• Опубліковано: Інститут проблем реєстрації інформації НАН України 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

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