Аналіз можливості використання сучасних пакетів комп’ютерної алгебри під час синтезу криптопримітивів
Fìz.-mat. model. ìnf. tehnol. 2021, 33:128-132
DOI:
https://doi.org/10.15407/fmmit2021.33.128Ключові слова:
системи комп’ютерної алгебри, моделювання математичних процесів, символьні мови програмування, моделювання криптографічних перетвореньАнотація
Дані дослідження присвячено системам комп'ютерної алгебри (СКА) – програмним засобам для символьних обчислень, що дозволяє провести весь цикл розробки математичної моделі. У роботі наведено результати дослідження аналізу СКА спеціалізованого призначення Magma, оцінка можливості її використання для модулювання процесів в симетричних та асиметричних криптографічних системах, а також рекомендації щодо їх подальшого вдосконалення. Також проводиться аналіз функціональних можливостей СКА Magma для моделювання та дослідження перспективних кандидатів на постквантовий стандарт алгоритмів електронного підпису, асиметричного шифрування та інкапсуляції ключів, в тому числі алгоритми, що засновані на криптографічних перетвореннях в решеті числового поля, використання геш-дерев, математичних кодів, що проходять дослідження в ході конкурсу NIST PQC, а також проект стандарту «Вершина 1».