Прикладная дискретная математика. Приложение
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



ПДМ. Приложение:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Прикладная дискретная математика. Приложение, 2016, выпуск 9, страницы 46–48
DOI: https://doi.org/10.17223/2226308X/9/19
(Mi pdma303)
 

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Математические методы криптографии

Оценки стойкости шифров семейства Trivium к криптоанализу на основе алгоритмов решения проблемы булевой выполнимости

О. С. Заикин, И. В. Отпущенников, А. А. Семёнов

Лаборатория 3.2 Института динамики систем и теории управления СО РАН, г. Иркутск
Список литературы:
Аннотация: Представлены результаты криптоанализа трёх поточных шифров семейства Trivium (Bivium, Trivium toy, Bivium toy). Криптоанализ осуществляется за счёт сведения обращения соответствующих дискретных функций к задаче о булевой выполнимости (SAT). Криптоанализ неослабленного шифра Bivium toy удалось осуществить на персональном компьютере. Задачи криптоанализа шифров Bivium и Trivium toy оказались более сложными, в связи с чем исследованы их ослабленные варианты. Соответствующие SAT-задачи были решены на вычислительном кластере и проекте добровольных распределённых вычислений SAT@home. При этом использована предложенная ранее техника распараллеливания по данным, согласно которой из множества переменных пропозициональной кодировки рассматриваемой задачи специальным образом выбирается некоторое подмножество, по которому исходная задача разбивается на независимые подзадачи.
Ключевые слова: поточный шифр, шифр Trivium, шифр Bivium, криптоанализ, задача о булевой выполнимости.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 14-07-00403-а
15-07-07891-а
16-07-00155-а
Министерство образования и науки Российской Федерации СП-1184.2015.5
Работа частично поддержана РФФИ (гранты № 14-07-00403-а, 15-07-07891-а и 16-07-00155-а) и советом по грантам Президента РФ (стипендия № СП-1184.2015.5).
Тип публикации: Статья
УДК: 519.7
Образец цитирования: О. С. Заикин, И. В. Отпущенников, А. А. Семёнов, “Оценки стойкости шифров семейства Trivium к криптоанализу на основе алгоритмов решения проблемы булевой выполнимости”, ПДМ. Приложение, 2016, № 9, 46–48
Цитирование в формате AMSBIB
\RBibitem{ZaiOtpSem16}
\by О.~С.~Заикин, И.~В.~Отпущенников, А.~А.~Семёнов
\paper Оценки стойкости шифров семейства Trivium к~криптоанализу на основе алгоритмов решения проблемы булевой выполнимости
\jour ПДМ. Приложение
\yr 2016
\issue 9
\pages 46--48
\mathnet{http://mi.mathnet.ru/pdma303}
\crossref{https://doi.org/10.17223/2226308X/9/19}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/pdma303
  • https://www.mathnet.ru/rus/pdma/y2016/i9/p46
  • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Прикладная дискретная математика. Приложение
    Статистика просмотров:
    Страница аннотации:4762
    PDF полного текста:153
    Список литературы:41
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024