Реєстраційний номер
0420U102445, Кандидатська дисертація
На здобуття
Кандидат фізико-математичних наук
Дата захисту
17-12-2020
Статус
Захищена
Назва роботи
Методи контролю цілісності делегованих обчислень
Здобувач
Новокшонов Андрій Костянтинович,
Керівник Анісімов Анатолій Васильович
Опонент Савчук Михайло Миколайович
Опонент Фаль Олексій Михайлович
Установа, організація, у вченій раді якої відбудеться/відбувся захист
Київський національний університет імені Тараса Шевченка
Опис
Дисертаційну роботу присвячено проблемі перевірки правильності виконання обчислень віддаленим пристроєм, який не є довіреним для користувача. Розроблено систему алгоритмів контролю цілісності обчислень для обмеженого класу функцій над цілими числами довільної, заздалегідь не фіксованої довжини.
У дисертаційній роботі побудовано нову адитивно гомоморфну схему автентифікації цілочисельних даних довільної довжини, яка дозволяє контролювати процес виконання операцій додавання та віднімання над ними. Розроблено нове для галузі перевірки цілісності обчислень застосування моделі обчислень додавальної машини. Сформульовано та доведено практично важливі умови цілісності обчислень для конструкцій умовних розгалужень та циклів із заздалегідь не фіксованою кількістю ітерацій. Побудовано алгоритми контролю цілісності для варіанту моделі обчислень додавальної машини з цілочисельними регістрами довільної довжини. На основі розроблених алгоритмів програмно реалізовано прототип системи перевірки цілісності обчислень.
Дата реєстрації
2020-12-29
Додано/оновлено в НРАТ
2020-12-29 / 2026-06-30
