Аналіз можливості використання сучасних пакетів комп’ютерної алгебри під час синтезу криптопримітивів

Fìz.-mat. model. ìnf. tehnol. 2021, 33:128-132

  • Volodymyr Ponomar Харківський національний університет імені В. Н. Каразіна, майдан Свободи, 6, 61000, Харків
  • Viktor Onoprienko АТ «Інститут інформаційних технологій», вул. Бакуліна, 12, 61000, Харків
Ключові слова: системи комп’ютерної алгебри, моделювання математичних процесів, символьні мови програмування, моделювання криптографічних перетворень

Анотація

Дані дослідження присвячено системам комп'ютерної алгебри (СКА) – програмним засобам для символьних обчислень, що дозволяє провести весь цикл розробки математичної моделі. У роботі наведено результати дослідження аналізу СКА спеціалізованого призначення Magma, оцінка можливості її використання для модулювання процесів в симетричних та асиметричних криптографічних системах, а також рекомендації щодо їх подальшого вдосконалення. Також проводиться аналіз функціональних можливостей СКА Magma для моделювання та дослідження перспективних кандидатів на постквантовий стандарт алгоритмів електронного підпису, асиметричного шифрування та інкапсуляції ключів, в тому числі алгоритми, що засновані на криптографічних перетвореннях в решеті числового поля, використання геш-дерев, математичних кодів, що проходять дослідження в ході конкурсу NIST PQC, а також проект стандарту «Вершина 1».

Опубліковано
2021-09-05