Search academic texts

Information × Registration Number 0420U102445, Candidate dissertation Status Кандидат фізико-математичних наук Date 17-12-2020 popup.evolution o 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 Description Дисертаційну роботу присвячено проблемі перевірки правильності виконання обчислень віддаленим пристроєм, який не є довіреним для користувача. Розроблено систему алгоритмів контролю цілісності обчислень для обмеженого класу функцій над цілими числами довільної, заздалегідь не фіксованої довжини. У дисертаційній роботі побудовано нову адитивно гомоморфну схему автентифікації цілочисельних даних довільної довжини, яка дозволяє контролювати процес виконання операцій додавання та віднімання над ними. Розроблено нове для галузі перевірки цілісності обчислень застосування моделі обчислень додавальної машини. Сформульовано та доведено практично важливі умови цілісності обчислень для конструкцій умовних розгалужень та циклів із заздалегідь не фіксованою кількістю ітерацій. Побудовано алгоритми контролю цілісності для варіанту моделі обчислень додавальної машини з цілочисельними регістрами довільної довжини. На основі розроблених алгоритмів програмно реалізовано прототип системи перевірки цілісності обчислень. Registration Date 2020-12-29 popup.nrat_date 2020-12-29 Close