|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Полиномиальные алгоритмы вычисления локальных аффинностей квадратичных булевых функций
О. А. Логачевab, А. А. Сукаевa, С. Н. Федоровa a Московский государственный университет им. М. В. Ломоносова
b Институт проблем информатики Федерального исследовательского центра «Информатика и управление» Российской академии наук
Аннотация:
Аффинная нормальная форма позволяет рассматривать произвольную булеву функцию на определенных плоскостях (так называемых локальных аффинностях) как аффинную. Данное представление — по сути, аффинная аппроксимация — булевых функций может помочь в решении систем нелинейных уравнений над полем из двух элементов. Задача решения таких систем (специального вида), среди прочего, используется в ряде методов синтеза и анализа средств обеспечения информационной безопасности. В статье описывается способ нахождения локальных аффинностей для квадратичных булевых функций, основанный на теореме Диксона. Тем самым решается задача построения аффинных нормальных форм для таких функций. Кроме того, обсуждаются вопросы эффективности подобных алгоритмов. Основная цель данной статьи — подготовить базу для готовящейся к публикации работы, предлагающей метод решения систем квадратичных булевых уравнений с помощью «аппроксимирования» соответствующих функций их аффинными нормальными формами.
Ключевые слова:
булева функция, система квадратичных булевых уравнений, разбиение векторного пространства, плоскость, локальная аффинность, теорема Диксона, аффинная нормальная форма, алгебраический криптоанализ.
Поступила в редакцию: 11.01.2019
Образец цитирования:
О. А. Логачев, А. А. Сукаев, С. Н. Федоров, “Полиномиальные алгоритмы вычисления локальных аффинностей квадратичных булевых функций”, Информ. и её примен., 13:1 (2019), 67–74
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ia580 https://www.mathnet.ru/rus/ia/v13/i1/p67
|
Статистика просмотров: |
Страница аннотации: | 216 | PDF полного текста: | 71 | Список литературы: | 20 |
|