|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Математические методы криптографии
Оценки стойкости шифров семейства Trivium к криптоанализу на основе алгоритмов решения проблемы булевой выполнимости
О. С. Заикин, И. В. Отпущенников, А. А. Семёнов Лаборатория 3.2 Института динамики систем и теории управления СО РАН, г. Иркутск
Аннотация:
Представлены результаты криптоанализа трёх поточных шифров семейства Trivium (Bivium, Trivium toy, Bivium toy). Криптоанализ осуществляется за счёт сведения обращения соответствующих дискретных функций к задаче о булевой выполнимости (SAT). Криптоанализ неослабленного шифра Bivium toy удалось осуществить на персональном компьютере. Задачи криптоанализа шифров Bivium и Trivium toy оказались более сложными, в связи с чем исследованы их ослабленные варианты. Соответствующие SAT-задачи были решены на вычислительном кластере и проекте добровольных распределённых вычислений SAT@home. При этом использована предложенная ранее техника распараллеливания по данным, согласно которой из множества переменных пропозициональной кодировки рассматриваемой задачи специальным образом выбирается некоторое подмножество, по которому исходная задача разбивается на независимые подзадачи.
Ключевые слова:
поточный шифр, шифр Trivium, шифр Bivium, криптоанализ, задача о булевой выполнимости.
Образец цитирования:
О. С. Заикин, И. В. Отпущенников, А. А. Семёнов, “Оценки стойкости шифров семейства Trivium к криптоанализу на основе алгоритмов решения проблемы булевой выполнимости”, ПДМ. Приложение, 2016, № 9, 46–48
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/pdma303 https://www.mathnet.ru/rus/pdma/y2016/i9/p46
|
Статистика просмотров: |
Страница аннотации: | 4762 | PDF полного текста: | 153 | Список литературы: | 41 |
|