Новокшонов А. К. Методи контролю цілісності делегованих обчислень

Дисертаційну роботу присвячено проблемі перевірки правильності виконання обчислень віддаленим пристроєм, який не є довіреним для користувача. Розроблено систему алгоритмів контролю цілісності обчислень для обмеженого класу функцій над цілими числами довільної, заздалегідь не фіксованої довжини. У дисертаційній роботі побудовано нову адитивно гомоморфну схему автентифікації цілочисельних даних довільної довжини, яка дозволяє контролювати процес виконання операцій додавання та віднімання над ними. Розроблено нове для галузі перевірки цілісності обчислень застосування моделі обчислень додавальної машини. Сформульовано та доведено практично важливі умови цілісності обчислень для конструкцій умовних розгалужень та циклів із заздалегідь не фіксованою кількістю ітерацій. Побудовано алгоритми контролю цілісності для варіанту моделі обчислень додавальної машини з цілочисельними регістрами довільної довжини. На основі розроблених алгоритмів програмно реалізовано прототип системи перевірки цілісності обчислень.