Засіб захисту даних та протокол доказу “нульового дня” у розподілених комп’ютерних системах
Вантажиться...
Дата
2026
Назва журналу
Номер ISSN
Назва тому
Видавець
Хмельницький національний університет
Анотація
Об’єктом роботи є процес захисту даних у розподілених комп’ютерних системах. Предметом роботи є методи, моделі, алгоритми та програмні засоби приватної верифікації відповідності компонента політиці безпеки з використанням протоколу доказу “нульового дня”. Метою кваліфікаційної роботи магістра є підвищення рівня захисту даних у розподілених комп’ютерних системах шляхом розроблення засобу приватної верифікації та протоколу доказу “нульового дня”, що забезпечують підтвердження відповідності компонента політиці безпеки без надмірного розкриття його внутрішніх атрибутів. Для розв’язання поставлених задач було використано методи аналізу розподілених комп’ютерних систем, методи формалізації політик безпеки, методи криптографічного захисту даних, методи побудови та перевірки доказів нульового знання, а також методи проєктування і реалізації програмного забезпечення. Наукова новизна одержаних результатів полягає в розробленні підходу до приватної верифікації відповідності компонента політиці безпеки в розподіленому середовищі, у межах якого поєднано формалізоване подання політики безпеки, метод формування твердження про стан компонента, метод генерації та перевірки доказу “нульового дня”, а також механізм інтеграції результату перевірки в контур контролю доступу
Опис
Ключові слова
123 Комп’ютерна інженерія, перелік ключових слів розподілена комп’ютерна система, захист даних, політика безпеки, приватна верифікація, доказ нульового знання, протокол, криптографічний захист, контроль доступу, конфіденційність, журналювання
Бібліографічний опис
Мельничук В. О. Засіб захисту даних та протокол доказу “нульового дня” у розподілених комп’ютерних системах : кваліфікаційна робота магістра : 123 Комп’ютерна інженерія / Хмельницький національний університет. Хмельницький, 2026. 119 с.