О производных булевых бент-функций
Бент-функция может быть определена как булева функция f (x) от n переменных (n чётно), такая, что для любого ненулевого вектора y её производная Dyf (x) = f (x) ф f (x ф y) сбалансирована принимает значения 0 и 1 одинаково часто. Справедливо ли, что любая сбалансированная функция - производная некоторой бент-функции? Эта задача рассмотрена для частного случая - аффинных функций. Доказано, что любая неконстантная аффинная функция от n 4 (n чётно) переменных является производной для (2n-1 - 1)|Bn-2|7 бент-функций, где Bn-2 - класс бент-функций от n - 2 переменных. Получены итерационные нижние границы для числа бент-функций.
On derivatives of boolean bent functions.pdf Пусть (x.y) -скалярное произведение двоичных векторов по модулю 2. Функция f : Zn Z2 называется булевой функцией от n переменных. Булева функция от чётного числа переменных называется бент-функцией, если она максимально нелинейна [1]. Обозначим через Bn множество бент-функций от n переменных. Шифры, в которых применяются бент-функции, более устойчивы к линейному криптоанализу [2], потому что бент-функции крайне плохо аппроксимируются аффинными функциями. Бент-функции используются в структуре блочного шифра CAST как координатные функции S-блоков [3], а также для построения регистра сдвига с нелинейной обратной связью в поточном шифре Grain [4]; они связаны также с некоторыми объектами теории кодирования, например с кодами Рида - Маллера [5]. Другое определение бент-функции - булева функция f (x) от n переменных (n чётно), такая, что для любого ненулевого вектора у её производная Dyf (x) = f (x)®f (хфу) сбалансирована - принимает значения 0 и 1 одинаково часто [5]. Справедливо ли, что любая сбалансированная функция - производная некоторой бент-функции? В [6] показано, что любая сбалансированная функция g от n С 6 переменных степени не выше n/2 - 1, такая, что g(x) = g(x ф y) для всех x при некотором y, является производной некоторой бент-функции от n переменных. В данной работе эта задача рассмотрена для частного случая сбалансированье функций - аффинных: £a,b(x) = (a.x) ф b, где a G Zn - ненулевой вектор и b G Z2. Теорема 1. Любая неконстантная аффинная функция £a,b(x) от n 4 (n чётно) переменных является производной для (2n-1 - 1)|Bn-2|7 бент-функций. Лемма 1. Для любой бент-функции g и любых y = y' справедливо: Dyg(x) = = Dy/g(x). Лемма 2. Пусть Dyg(x) = la,b(x) для бент-фукции g(x). Тогда при любом y' Dy/g(x) = la,b(x) ф 1. Теорема 1 вместе с леммами 1 и 2 даёт итерационные нижние границы для количества бент-функций от n + 2 переменных (теорема 2). Теорема 2. Для любого чётного n 4 верно |Bn+2| > (2n+2 - 2)|Bn|2. Данная граница хуже представленной в [7], но она, вероятно, может быть улучшена, если рассматривать больше одной аффинной функции или учитывать функции, которые не имеют аффинных производных. Однако задача выделения бент-функций, которые имеют производную ф,ь и не имеют £с^, является непростой. Бент-функции, которые не имеют аффинных произодных, рассмотрены, например, в [8].
Ключевые слова
нижние границы для числа бент-функций,
производные бент-функций,
булевы функции,
бент-функцииАвторы
Шапоренко Александр Сергеевич | Институт математики им. С. Л. Соболева СО РАН; Новосибирский государственный университет ; лаборатория криптографии JetBrains Research | м.н.с.; аспирант; исследователь | a.shaporenko@g.nsu.ru |
Всего: 1
Ссылки
Canteaut A and Charpin P. Decomposing bent functions // IEEE Trans. Inform. Theory. 2003. V. 49. No. 8. P. 2004-2019.
Tokareva N. On the number of bent functions from iterative constructions: lower bounds and hypotheses // Adv. Math. Commun. 2011. V. 5. No. 4. P. 609-621.
Tokareva N. Bent Functions: Results and Applications to Cryptography. Acad. Press., 2015.
Токарева Н. Н. О множестве производных булевой бент-функции // Прикладная дискретная математика. Приложение. 2016. № 9. С. 35.
Hell M., Johansson T., Maximov A., and Meier W. A stream cipher proposal: Grain-128 // IEEE Intern. Symp. Inform. Theory. 2006. P. 1614-1618.
Adams C. Constructing symmetric ciphers using the CAST design procedure // Design, Codes, Cryptogr. 1997. V. 12. No. 3. P. 283-316.
Rothaus O. S. On bent functions //J. Combinat. Theory. Ser. A. 1976. V. 20. No. 3. P. 300-305.
Matsui M. Linear cryptanalysis method for DES cipher // LNCS. 1994. V. 765. P. 386-397.