Мельничук, Володимир Олегович2026-05-062026-05-062026Мельничук В. О. Засіб захисту даних та протокол доказу “нульового дня” у розподілених комп’ютерних системах : кваліфікаційна робота магістра : 123 Комп’ютерна інженерія / Хмельницький національний університет. Хмельницький, 2026. 119 с.https://elar.khmnu.edu.ua/handle/123456789/21037Об’єктом роботи є процес захисту даних у розподілених комп’ютерних системах. Предметом роботи є методи, моделі, алгоритми та програмні засоби приватної верифікації відповідності компонента політиці безпеки з використанням протоколу доказу “нульового дня”. Метою кваліфікаційної роботи магістра є підвищення рівня захисту даних у розподілених комп’ютерних системах шляхом розроблення засобу приватної верифікації та протоколу доказу “нульового дня”, що забезпечують підтвердження відповідності компонента політиці безпеки без надмірного розкриття його внутрішніх атрибутів. Для розв’язання поставлених задач було використано методи аналізу розподілених комп’ютерних систем, методи формалізації політик безпеки, методи криптографічного захисту даних, методи побудови та перевірки доказів нульового знання, а також методи проєктування і реалізації програмного забезпечення. Наукова новизна одержаних результатів полягає в розробленні підходу до приватної верифікації відповідності компонента політиці безпеки в розподіленому середовищі, у межах якого поєднано формалізоване подання політики безпеки, метод формування твердження про стан компонента, метод генерації та перевірки доказу “нульового дня”, а також механізм інтеграції результату перевірки в контур контролю доступуuk123 Комп’ютерна інженеріяперелік ключових слів розподілена комп’ютерна системазахист данихполітика безпекиприватна верифікаціядоказ нульового знанняпротоколкриптографічний захистконтроль доступуконфіденційністьжурналюванняМагістерські роботи