Registration Number
0420U102445, Candidate dissertation
Status
Кандидат фізико-математичних наук
Date
17-12-2020
popup.evolution
.
Title
Methods for controlling integrity of delegated computations
Author
Novokshonov Andrii Kostiantynovych,
popup.head Anisimov Anatolii Vasylovych
popup.opponent Savchuk Mykhailo Mykolaiovych
popup.opponent Fal Oleksii Mykhailovych
popup.rada
Taras Shevchenko National University of Kyiv
Description
Дисертаційну роботу присвячено проблемі перевірки правильності виконання обчислень віддаленим пристроєм, який не є довіреним для користувача. Розроблено систему алгоритмів контролю цілісності обчислень для обмеженого класу функцій над цілими числами довільної, заздалегідь не фіксованої довжини.
У дисертаційній роботі побудовано нову адитивно гомоморфну схему автентифікації цілочисельних даних довільної довжини, яка дозволяє контролювати процес виконання операцій додавання та віднімання над ними. Розроблено нове для галузі перевірки цілісності обчислень застосування моделі обчислень додавальної машини. Сформульовано та доведено практично важливі умови цілісності обчислень для конструкцій умовних розгалужень та циклів із заздалегідь не фіксованою кількістю ітерацій. Побудовано алгоритми контролю цілісності для варіанту моделі обчислень додавальної машини з цілочисельними регістрами довільної довжини. На основі розроблених алгоритмів програмно реалізовано прототип системи перевірки цілісності обчислень.
Registration Date
2020-12-29
popup.nrat_date
2020-12-29 / 2026-06-30
