Пошук академічних текстів

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