О нелинейности некоторых булевых функций с максимальнойалгебраической иммунностью
An estimation for nonlinearity ofDalai's Boolean functions with maximal possible algebraic immunity in even number ofvariables is given. It is proved that the estimation is achieved.
On nonlinearity of some boolean functions with maximal algebraic immunity.pdf После публикации работ [1,2] большое внимание уделяется алгебраической иммун-ности булевых функций. Алгебраическая иммунность булевой функции f (обознача-ется через A I ( f ) ) -это минимальная положительная алгебраическая степень булевойфункции, аннулирующей f или f ф 1, т. е.AI(f) = min{deg(g) : Vxf (x)g(x) = 0 или Vx (f (x) ф 1)g(x) = 0}.g=0Известно, что для функции f от n переменных A / ( f ) ^ [n/2]. Для криптографическихприложений наибольший интерес представляют функции с максимально возможнойалгебраической иммунностью, т.е. с AI(f) = |~n/2] (такое значение алгебраическойиммунности достижимо для любого n).В данной работе исследуется нелинейность функций, обладающих максимальновозможной алгебраической иммунностью, а именно: рассматриваются функции, по-строенные с помощью одной из самых простых конструкций для чётного числа пере-менных, которая предложена D. K. Dalai и др. в работе [3]:0, wt(x) < n/2,f ( x ) = { b G {0,1}, wt(x) = n/2, (1)1, wt(x) > n/2,где n - количество переменных (n чётно); wt(x) -вес Хэмминга вектора x. Все такиефункции обладают алгебраической иммунностью n/2.Нелинейностью булевой функции f (обозначается через nl(f)) называется рас-стояние Хэмминга от функции f до класса аффинных функций (функций видаa1x1 ф . . . ф anxn ф а0). Это также одно из важнейших криптографических свойствбулевых функций.Получена следующая верхняя оценка нелинейности функций вида (1).Теорема 1. Для функций f вида (1) выполняетсяnl(f) ^ 2n - 1 - / n - Гn/2В той же работе [3] рассматривается нелинейность функций, полученных с помо-щью данной конструкции, а именно доказаноУтверждение 1 (Dalai и др. [3]). Для функции0, wt(x) ^ n/2,f ( x ) ^ 1, wt (x) > n/2от n переменных (n чётно) верноnKZ) = 2 " - 1 - ( "n-1Таким образом, оценка из теоремы 1 достижима.Поскольку максимальная нелинейность для функций от чётного числа переменныхравна 2 n - 1 - 2 n / 2 - 1 , нелинейность функций вида (1) заметно отличается от максималь-но возможной.
Ключевые слова
Авторы
Коломеец Николай Александрович | Институт математики СО РАН, г. Новосибирск | аспирант | nkolomeec@gmail.com |
Всего: 1
Ссылки
Courtois N. and Meier W. Algebraic Attacks on Stream Ciphers with Linear Feedback // LNCS. 2003. V. 2656. P. 345-359.
Meier W., Pasalic E., and Carlet C. Algebraic Attacks and Decomposition of Boolean Functions // LNCS. 2004. V. 3027. P. 474-491.
Dalai D.K., Maitra S., and Sarkar S. Basic Theory in Construction of Boolean Functions with Maximum Possible Annihilator Immunity // Designs, Codes and Cryptography. 2006. V. 40. Iss. 1. P. 41-58.
О нелинейности некоторых булевых функций с максимальнойалгебраической иммунностью | Прикладная дискретная математика. Приложение. 2012. № 5.