| |
Давидюк, А. В.
Застосування логіки предикатів для верифікації артефактів кіберзахисту під час проектування систем критичного призначення [Текст] / А. В. Давидюк, В. Ю. Зубок
// Реєстрація, зберігання і обробка даних. – 2021. – Т. 23, № 4. – С. 37-46.
Враховуючи можливі наслідки порушення функціонування систем критичного призначення (значні матеріальні та нематеріальні збитки), для врахування можливого впливу невизначеності на результати їхньої роботи (ризику) запропоновано використати логіку предикатів для створення зв'язків властивостей артефактів. |
