CC BY
184
УДК 510.644
А. В. СОКОЛОВ, О. Н. ЖДАНОВ, О. А. А ЙВАЗЯН
МЕТОДЫ СИНТЕЗА АЛГЕБРАИЧЕСКОЙ НОРМАЛЬНОЙ ФОРМЫ ФУНКЦИЙ МНОГОЗНАЧНОЙ ЛОГИКИ
1Одесский национальный политехнический университет, Одесса, Украина 2Сибирский государственный аэрокосмический университет им. академика М. Ф. Решетнева
Стремительное развитие методов помехоустойчивого кодирования, криптографии, теории синтеза сигналов, основанных на принципах многозначной логики, диктуют необходимость более полного изучения форм представления функций многозначной логики. В частности, для булевых функций широкое распространение получила алгебраическая нормальная форма, известная также как полином Жегалкина, которая хорошо описывает многие криптографические свойства булевых функций. В настоящей статье формализуется понятие алгебраической нормальной формы функции многозначной логики. Предложены методы синтеза алгебраической нормальной формы 3-функций и 5-функций, которые работают по аналогии с преобразованием Рида-Маллера для булевых функций: на основе рекуррентно синтезируемых матриц преобразования. Выдвинута гипотеза, определяющая правила синтеза матриц как для перехода от таблицы истинности к коэффициентам алгебраической нормальной формы, так и обратного преобразования для любого, наперед заданного количества переменных 3-функции либо 5-функции. В статье также введено определение алгебраической степени нелинейности функций многозначной логики и S-блока подстановки, основанных на принципах многозначной логики. Так, разработанный метод синтеза алгебраической нормальной формы 3-функций применен к известной конструкции рекуррентного синтеза S-блоков длины N = 3к, в результате чего вычислены их алгебраические степени нелинейности. Полученные результаты могут стать основой как для дальнейших теоретических исследований, так и для практического применения: разработки новых криптографических примитивов, корректирующих кодов, алгоритмов сжатия информации, сигнальных конструкций, алгоритмов блочного и поточного шифрования, основанных на перспективных принципах многозначной логики. Кроме того, методы синтеза алгебраической нормальной формы функций многозначной логики являются основой для их программной и аппаратной имплементации.
Ключевые слова: алгебраическая нормальная форма, многозначная логика, преобразование Рида-Маллера.
Введение
Современный этап развития информационных технологий характеризуется активным исследованием свойств и внедрением принципов многозначной логики. То обстоятельство, что многозначная логика допускает более двух (q > 2) истинностных значений для высказываний, делает её привлекательной для создания корректирующих кодов, криптографических алгоритмов, алгоритмов сжатия информации, а также для построения систем сигналов. Так, в работах [1, 2] изучено применение q-ичных ортогональных преобразований для технологии CDMA, в работе [3] изучаются свойства корректирующих кодов, работы [4, 5] посвящены разработке методов синтеза сигнальных конструкций, основанных на принципах многозначной логики.
В работе [6] заложены основы конструирования криптографических примитивов на базе многозначной логики, в рамках чего предложен метод построения оптимальных троичных криптографических S-блоков подстановки длины 3к, к е N.
Тем не менее, развитие методов телекоммуникационных технологий, основанных на возможностях многозначной логики, все еще находится на начальном этапе, что делает актуальной как с практической, так и с теоретической точки зрения задачу изучения форм представления функций многозначной логики или, кратко, ^-функций.
Важнейшим инструментом, положенным в основу многих методов оценки криптографических свойств булевых функций, является полином Жегалкина, или алгебраическая нор-
мальная форма (АНФ). Так, с помощью АНФ оценивается алгебраическая степень нелинейности «^-блоков подстановки, вводится понятие расстояния нелинейности [7]. На основе АНФ булевых функций предложен метод построения таких совершенных алгебраических конструкций, как бент-функции [8], которые играют существенную роль в теории кодирования и криптографии. АНФ также является основой построения важных в теории кодирования корректирующих кодов Рида-Маллера [9].
Отметим также, что АНФ булевых функций важны для реализации программируемых логических интегральных схем (ПЛИС). Еще одним применением АНФ является построение генераторов псевдослучайных ключевых последовательностей [10].
Из перечисленного уже ясна актуальность построения методов синтеза АНФ произвольной ^-функции.
С другой стороны, быстрые методы нахождения АНФ, как и точное определение АНФ введено в литературе только для булевых функций, что ограничивает дальнейшее развитие теории и практики использования принципов многозначной логики в телекоммуникационных системах.
Целью настоящей статьи является разработка методов синтеза АНФ 3-функций и 5-функ-ций.
1. Методы синтеза АНФ булевых функций
Способ представления булевых функций с помощью АНФ был предложен в 1927 году российским исследователем Иваном Жегалки-ным [11] и с тех пор получил значительное распространение, связанное со многими свойствами, которые следуют из данной формы представления.
Определение 1 [12]. Полиномом Жегалки-на называется полином над 2г с коэффициентами а1 е {0,1}, содержащий операции «Исключающее ИЛИ» и «Конъюнкция».
Жегалкиным была доказана теорема: каждая булева функция может быть единственным образом представлена в виде АНФ.
Полином Жегалкина, состоящий из N = 2к термов, в общем виде может быть легко записан для булевых функций к переменных при любом, наперед заданном, значении к. Например, для булевых функций четырех перемен-
ных общий вид АНФ может быть представлен следующим образом:
N-1
/1 (Х15 Х25 Х35 Х4 ) = X а1Т1 = а0 + а4 Х4 + а3 Х3 +
1=0
+аз4 Х3 Х4 + а2 Х2 + а24 Х2 Х4 + а2з Х2 Х3 + +а234Х2 Х3 Х4 + а1Х1 + а14 Х1Х4 + а13 Х1Х3 + (1) +а134 Х1Х3 Х4 + а12 Х1Х2 + Х124 Х1Х2 Х4 + +а123 Х1Х2 Х3 + а1234Х1Х2 Х3 Х4,
где коэффициенты а1 е {0,1} являются различными для различных булевых функций.
Задача поиска АНФ конкретной булевой функции сводится к нахождению значений коэффициентов А = {а1}. Для решения данной задачи в литературе предложено достаточно большое количество методов, например, метод на основе карт Карно, метод треугольника, метод Паскаля и другие. Тем не менее, с вычислительной точки зрения, наиболее привлекательным является преобразование Рида-Маллера [12], позволяющие получить все коэффициенты АНФ путем умножения таблицы истинности булевой функции на матрицу Рида-Малле-ра Ь, которая строится в соответствии с рекуррентным правилом
"1 1" \ 4 Ьп "
® Ь„ = п п
0 1 п 0 Ьп _
где ® - знак произведения Кронекера.
Матрица Ь обладает тем свойством, что над алфавитом {0,1} для любого ее порядка выполняется равенство 17х = Ь .
С учетом (2) для булевой функций к переменных могут быть легко найдены все коэффициенты её АНФ путем умножения матрицы преобразования порядка N = 2к на таблицу истинности булевой функции /. Естественным является и обратное преобразование
А = /Ьп, / = АЬп, (3)
Таким образом, (3) полностью определяет прямое и обратное преобразование Рида-Мал-лера, позволяющее путем простого матричного умножения получить коэффициенты АНФ произвольной булевой функции.
2. Метод синтеза АНФ 3-функций
Аппарат алгебраической нормальной формы булевых функций, являющийся мощным инструментом их исследования и практического использования, может быть расширен на
q-функции, которые получили существенное распространение в современных информационных технологиях.
Определение 2 [6]. Функцией q-значной логики k переменных называется отображение {0,1,2,...,q -1} —> {0,1,2,...,q -1} , q - простое. При q = 2 получаем булевы функции.
Функция трехзначной логики (3-функция) -это отображение {0,1,2} ^ {0,1,2}, т. е. правило, однозначно сопоставляющее вектору из k координат, принимающих значения 0, 1, 2 значение 0,1 или 2.
Аналогично полиномам Жегалкина для случая булевых функций мы вводим определение алгебраической нормальной формы q-функций.
Определение 3. Алгебраической нормальной формой q-функции называется полином Ф над Zq степени deg^) < q с коэффициентами ai е {0,1,..., q -1} , содержащий операции «Сумма по модулю q» и «Умножение по модулю q».
Пример. Рассмотрим 3-функции k = 2 переменных, таблица истинности которых имеет длину N = 9 и может быть представлена в общем виде
f = {f00 , f01, f02 , f\0, f11, f12, f20 , f21, f22 } . (4)
С другой стороны, в соответствии с Определением 2 для 3-функций двух переменных можно выписать полином АНФ в общем виде
f (X1, X2 ) = a00 + a01X2 + a02 X2 + a10 X1 + a11 X1X2 + 2 2 2 2 2 +a12 x1x2 + a20 x1 + a21X1 X2 + a22 X1 X2 ,
(5)
где atj e {0,1,2} - искомые коэффициенты.
Для того чтобы связать искомые коэффициенты aij с элементами таблицы истинности 3-функции (4), записываем соответствующую систему уравнений
f00 = a00 ; f01 = a00 + a01 + a02; f02 = a00 + 2a01 + a02 ; f10 = a00 + a10 + a20; f11 = a00 + a01 + a10 + a02 + a11 + a20 + a12 + a21 + a22; f12 = a00 + 2a01 + a10 + a02 + 2a11 + a20 + a12 + + 2a21 + a22; f20 = a00 + 2a10 + a20 ; f21 = a00 + a01 + 2a10 + a02 + 2a11 + a20 + 2a12 + + a21 + a22;
f22 = a00 + 2a01 + 2a10 + a02 + a11 + a20 + 2a12 +
где знак «+» следует понимать как сложение по модулю 3.
Представляя найденную систему уравнений в матричной форме, получаем, соответственно, матрицу Ь-1 для случая 3-функций двух переменных
1 0000000 0" 1 1 1 0 0 0 0 0 0 1 2 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 111111111 2 112 1
Ц- =
1 2 1 0 0 1 1 1 1 2 1
1 1
2 2 2
0 0 10 0 2 2 111 12 12 1
(7)
0 0 "
Ц1 = L- L-1 L-1 , Ц1 = [1],
L- 2Ц1 L-1
Проведенные эмпирические исследования позволили выдвинуть гипотезу: построение матриц обратного преобразования АНФ ЬЩ порядка п, кратного трем, может быть осуществлено в соответствии со следующей рекуррентной формулой
(8)
где по знаком «0» понимается нулевая матрица порядка п.
Вычислительные эксперименты, проведенные в среде МаЙаЬ, позволили подтвердить правильность выдвинутой гипотезы для практически ценных значений п < 6. Тем не менее, аналитическое доказательство (8) может представлять математический интерес, и являться предметом дальнейших исследований.
Для нахождения матрицы прямого преобразования (необходимой для расчета коэффициентов АНФ) матрица Ь-1 должна быть обращена
Ь = (Г1)-1 = а4К Ь) • -1( Ь), (9)
где а^(Ь) - союзная матрица над алфавитом {0,1,2}, det-1(Ь) - элемент, обратный к определителю матрицы Ь .
Для матрицы (7), т. е. для случая 3-функ-ций двух переменных обратная матрица имеет следующий вид
1 0000000 0 021000000 222000000 0 0 10 0
Ц =
- 2a21 + a22,
(6)
0 0 0 2 0 0 0 0 0 0 0 1 2 0 0 2 0 12 0
1 2 1 1 0 0 1 2
2 1 2 2 0 0 1 2
111111111
. (10)
Отметим важное свойство: в отличие от случая булевых функций, для д-функций при д > 2 матрицы прямого и обратного преобразования АНФ не совпадают.
Основываясь на (7), (8) и (9), можем записать регулярный метод нахождения АНФ 3-функций произвольного количества переменных в виде шагов.
Шаг 1. Основываясь на (8) с учетом (7) найти матрицу обратного преобразования Ь-1 необходимого порядка п = 3к .
Шаг 2. На основе (9) либо же с использованием одного из известных алгоритмов обращения матриц над алфавитом {0,1,...,д -1} [13] найти матрицу Ь .
Шаг 3. В соответствии с (3) вычислить искомые коэффициенты АНФ.
Рассмотрим пример, иллюстрирующий работу предложенного метода. Пусть, например, задана 3-функция пяти переменных в виде своей таблицы истинности
/ = {00022211100022211100022211100022 211100022211100022211100022211100022 211100022211100022211100022211100022 211111100022211102022111101022011100 (11) 022211100120211100221200022211100022 211100022211122211100022211002022211 2010222111000222121001222101002}.
Путем умножения таблицы истинности булевой функции (11) на матрицу Ь243 , построенную в соответствии с (8), получаем коэффициенты АНФ интересующей нас 3-функ-ции
А = {00020000000000000000000000000000 000000000000000000000000000000000000 000000000000000000000000000000000000 000000000000000000000000000000010000 (12) 000000001000000000000000000000000000 000000000000000000000000000000100000 0000000000000000000000000000000},
а также, собственно, АНФ
Ф(Х15 Х2 5 Х3 5 Х45 Х5 ) 2Х4 + Х1Х2 + (13) ,2 , 2 2 2 (13) I ХХ1ХХ 2 Х1 3 Х 4 ХХ5 I Х> 2 ХХ3 Х 4 ХХ5 .
Подстановка значений {х1 5 Х2 5 Х3 5 Х45 Х5
} в (13)
позволяет снова вернуться к таблице истинности (11), что подтверждает правильность полученной АНФ.
Отметим, что подобно преобразованию Ри-да-Маллера (3), применение разработанного регулярного метода нахождения АНФ 3-функ-
ций по вычислительной сложности эквивалентно умножению матрицы на вектор, при условии, что матрица преобразования найдена заблаговременно. Данное свойство предложенного метода обуславливает его высокую практическую ценность.
3. Метод синтеза АНФ 5-функций
Аналогичным образом могут быть найдены матрицы преобразования Ь-1 и Ь для случая 5-функций. Эмпирические исследования позволили сформулировать гипотезу: матрицы 171 для 5-функции любого числа переменных могут быть найдены с помощью следующей рекуррентной формулы
ьп =
0 0
Ш т
2 Щ 4 Щ
3Ь-п1 4Щ
4 Ь Ь-
= [1] 5
0 0
Ь1 Ш
3Ь- ь-
2Ь- п
4Ь- п .
(14)
где под знаком «0» понимается нулевая матрица порядка п.
Для обращения матриц над конечными полями существуют хорошо разработанные методы, см., например, [13].
В качестве примера приведем матрицы Ь-5 и Ьч соответственно.
1000000000000000000000000 1111100000000000000000000 1243100000000000000000000 1342100000000000000000000 1414100000000000000000000 1000010000100001000010000 1111111111111111111111111 1243112431124311243112431 1342113421134211342113421
1414114141141411414114141
1000020000400003000010000 1111122222444443333311111 1243124312431243124312431 1342121342421343421313421 1414123232414143232314141 1000030000400002000010000 1111133333444442222211111 1243131243431242431212431 1342134213421342134213421 1414132323414142323214141 1000040000100004000010000
1111144444111114444411111
1243143124124314312412431 1342142134134214213413421 1414141414141414141414141
Ь"1 =
25 _
Ь25 _
1000000000000000000000000 0423100000000000000000000 0411400000000000000000000 0432100000000000000000000 4444400000000000000000000 0000040000200003000010000 0000001324034120214304231 0000001441032230233204114 0000001234031420241304321 0000011111333332222244444 0000040000100001000040000 0000001324042310423101324 0000001441041140411401441 0000001234043210432101234 0000011111444444444411111 0000040000300002000010000 0000001324021430341204231 0000001441023320322304114 0000001234024130314204321 0000011111222223333344444 4000040000400004000040000 0132401324013240132401324 0144101441014410144101441 0123401234012340123401234 1111111111111111111111111 (15)
Обобщая метод, разработанный ранее для 3-функций, приведем пример, иллюстрирующий полученные результаты для 5-функций. Пусть 5-функция трех переменных задана своей таблицей истинности
/ = {01234043210314203142043211234014 402131341443112303401234324440212411 (16) 324140440123444104121341022443421234 (16) 010233134141143314240}.
Путем умножения таблицы истинности 5-функции (16) на матрицу Ь125 получаем коэффициенты АНФ
А = {01000000000300000000000000000000 004000000000000000100000200000000000 000000000000000000030000000000000000 (11) 000000000000000000000}5
и теперь легко выписать АНФ рассматриваемой 5-функции
(Хц 5 Х^ 5 Х3 ) - Х3 3 Х2 Х3
4 Хц Х2 Х3
(19)
+Х1 + 2х1 Х2 Х3 + 3х1 Х2 Х3 .
Непосредственными вычислениями значений Ф( х15 х25 х3) легко проверить правильность полученной формулы.
4. Некоторые практические приложения разработанных методов
В качестве примера работы предложенных методов синтеза АНФ функций многозначной логики исследуем алгебраическую степень не-
линейности, предложенных в [6] оптимальных троичных «-блоков подстановки. Так, рассмотрим оптимальный «-блок длины N = 27
«21 = {0,2,24,26,25,14,13,12,1,9,11,6,8,7,23, 22,21,10,18,20,15,17,16,5,4,3,19} 5
который можно представить в виде трех 3-функ-ций трех переменных
Г / = {002221110110002221221110002}; /2 ={002221110002221110002221110}; (20) [ /3 = {020212101020212101020212101}
для каждой из которых, зная соответствующую матрицу Ь27 , нетрудно найти АНФ
( .х^ 5 «х^ 5 Х3) — Х3 I Х3 I «х^ I .х^ ;
Ф 2( х15 х25 х3) — 2 х3 + х32 + 2х2; (21)
Ф 3(. 5 х25 Х3) — Х3 + Х3 + 2 Х2 .
Для нахождения алгебраической степени нелинейности S-блока подстановки (19) воспользуемся определением [7].
Определение 4 [7]. Алгебраической степенью нелинейности функции (обозначение: deg (/)) называется степень слагаемого в полиноме АНФ, содержащего наибольшее число переменных.
Определение 5 [14]. Алгебраическая степень нелинейности «-блока подстановки определяется как минимум среди алгебраических степеней его компонентных функций.
Таким образом, с учетом (21) нетрудно установить, что алгебраическая степень нелинейности «-блока подстановки (19) deg(«21) = 2 .
Проведенные выборочные исследования «-блоков подстановки, генерируемых с помощью метода рекуррентного увеличения длины [6], позволили установить, что алгебраическая степень нелинейности «-блоков подстановки не возрастает при увеличении их длины с помощью метода [6].
Задача изучения алгебраических степеней нелинейности подстановочных конструкций, основанных на принципах многозначной логики и задача синтеза оптимальных, с точки зрения максимизации алгебраической степени нелинейности «-блоков подстановки, все еще ожидают своего решения.
Заключение
1. Предложены методы синтеза алгебраической нормальной формы 3-функций и 5-функ-ций допускающие нахождение коэффициентов
АНФ для ^-функции любой длины. При этом, определено обратное преобразование, позволяющее получить таблицу истинности 3-функ-ций или 5-функций при наличии вектора коэффициентов АНФ. Сложность предложенных методов практически эквивалентна сложности операции умножения матрицы на вектор.
2. Рассчитаны АНФ компонентных 3-функ-ций оптимальных S-блоков подстановки. Установлено, что недостатком метода рекуррентно-
го увеличения длины оптимальных ^-блоков подстановки является тот факт, что с увеличением длины их алгебраическая степень нелинейности не возрастает.
3. Предложенные методы синтеза АНФ могут быть использованы как для тестирования криптографических примитивов или построения корректирующих кодов, так и для аппаратной или программной реализации 3-функций и 5-функций.
Литература
1. Мазурков, М. И. О влиянии вида ортогонального преобразования на пик-фактор спектра в системах с CDMA / М. И. Мазурков, А. В. Соколов, Н. А. Барабанов. - 1нформатика та математичш методи в моделюванш, 2015. - Т .5, № 1. - С. 28-37.
2. Falkowski, B. J. Application of Sign Hadamard-Haar Transform in Ternary Communication System / B. J. Falkowski, S. Yan. - International Journal of Electronics, 1995. - Vol. 79(5). - P. 551-559.
3. Кузнецов, В. С. Троичные каскадные коды с модуляцией КАМ-9 и их возможности / В. С. Кузнецов. - «Инфо-Электросвязь», 2009. - С. 30-33.
4. Мазурков, М. И. Системы широкополосной радиосвязи / М. И. Мазурков - Одесса: Наука и Техника, 2010, с. 340. - ISBN 978-966-8335-95-2.
5. Петелин, Ю. В. Перспективы использования сигнально-кодовых конструкций типа троичных М-последовательностей в спутниковых каналах связи / Ю. В. Петелин, М. А. Ковалев, А. А. Макаров // Информационно-управляющие системы. - 2006. - №. 5. - С. 32-35.
6. Жданов, О. Н. Алгоритм построения оптимальных по критерию нулевой корреляции недвоичных блоков замен / О. Н. Жданов, А. В. Соколов. - Проблемы физики, математики и техники, 2015. - № 3(24). - С. 94-97.
7. Логачев, О. А. Булевы функции в теории кодирования и криптологии / О. А. Логачев, А. А. Сальников, В. В. Ящен-ко. - М: Издательство МЦНМО. - 2004. - 472 с.
8. Qingshu, Meng A novel algorithm enumerating bent functions / Qingshu Meng, Min Yang, Huanguo Zhang, Jingsong Cui // Discrete Mathematics, 2008. - Volume 308, Issue 23, 2008. - P. 5576-5584.
9. Мак-Вильямс, Ф. Дж. Теория кодов исправляющих ошибки / Ф. Дж. Мак-Вильямс, Н. Дж. А. Слоэн. - М.: Связь, 1979. - с. 745.
10. Мазурков, М. И. Генератор ключевых последовательностей на основе дуальных пар бент-функций / М. И. Мазурков, Н. А. Барабанов, А. В. Соколов. - Труды Одесского политехнического университета, 2013. - Вып. 3 (42). -С. 150-156.
11. Жегалкин, И. И. Арифметизация символической логики / И. И. Жегалкин. - Матем. сб., 1929. - 305-338.
12. Ростовцев, А. Г. Криптография и защита информации / А. Г. Ростовцев. - СПб.: Мир и Семья. - 2002.
13. Кормен, Т. Алгоритмы: построение и анализ / Т. Кормен, Ч. Лейзерсон, Р. Ривест, К. Штайн, - М.: Вильямс, 2006. - с. 1328.
14. Соколов, А. В. Новые методы синтеза нелинейных преобразований современных шифров / А. В. Соколов. -Lap Lambert Academic Publishing, Germany, 2015. - 100 с.
References
1. Mazurkov, M. I. On the effect of the type of orthogonal transform on PAPR of signal spectrum in CDMA systems / M. I. Mazurkov, A. V. Sokolov, N. A. Barabanov. - Informatika ta matematichni metodi v modeljuvanni, 2015. - Vol. 5, № 1. - P. 28-37.
2. Falkowski, B. J. Application of Sign Hadamard-Haar Transform in Ternary Communication System / B. J. Falkowski, S. Yan. - International Journal of Electronics, 1995. - Vol. 79(5). - P. 551-559.
3. Kuznecov, V. S. Trinity concatenated codes with QAM-9 and their capabilities / V. S. Kuznecov. - «Info-Jelektrosvjaz», 2009. - P. 30-33.
4. Mazurkov, M. I. Broadband radio systems / M. I. Mazurkov. - Odessa: Nauka i Tehnika, 2010, p. 340. - ISBN 978966-8335-95-2.
5. Petelin, Ju. V. Perspectives of using of signal-code structures such as ternary M-sequences in the satellite communication channels / Ju. V. Petelin, M. A. Kovalev, A. A. Makarov // Informacionno-upravljajushhie sistemy. - 2006. -№. 5. - P. 32-35.
6. Zhdanov, O. N. Algorithm of construction of optimal according to criterion of zero correlation nonbinary S-boxes / O. N. Zhdanov, A. V. Sokolov. - Problems of physics, mathematics and technics, 2015. - № 3(24). - P. 94-97.
7. Logachev, O. A. Boolean functions in coding theory and cryptology / O. A. Logachev, A. A. Sal'nikov, V. V. Jashhen-ko. - M: Izdatel'stvo MCNMO. - 2004. - 472 p.
8. Qingshu, Meng A novel algorithm enumerating bent functions / Qingshu Meng, Min Yang, Huanguo Zhang, Jingsong Cui // Discrete Mathematics, 2008. - Volume 308, Issue 23. - P. 5576-5584.
9. MacWilliams, F. J. Theory of Error-Correcting Codes / F. J. MacWilliams, N. J. A. Sloane. - M.: Svjaz', 1979. -p. 745.
10. Mazurkov, M. I. The key sequences generator based on bent functions dual couples / M. I. Mazurkov, N. A. Barabanov, A. V. Sokolov. - Works of the Odessa polytechnic university. - Vol. 3 (42). - P. 150-156.
11. Zhegalkin, I. I. Arithmetization of symbolic logic / I. I. Zhegalkin. - Matem. sb., 1929. - P. 305-338.
12. Rostovcev, A. G. Cryptography and Data Protection / A. G. Rostovcev. - SPb.: Mir i Sem'ja. - 2002.
13. Kormen, T. Construction and analysis of algorithms / T. Kormen, Ch. Lejzerson, R. Rivest, K. Shtajn, - M.: Vil'jams, 2006. - p. 1328.
14. Sokolov, A. V. New methods of the synthesis of non-linear transforms of modern ciphers / A. V. Sokolov. - Lap Lambert Academic Publishing, Germany, 2015. - p. 100.
Поступила 01.03.2016
A. V. Sokolov, O. N. Zhdanov, O. A. Ayvazian
SYNTHESIS METHODS OF ALGEBRAIC NORMAL FORM OF MANY-VALUED
LOGIC FUNCTIONS
The rapid development of methods of error-correcting coding, cryptography, and signal synthesis theory based on the principles of many-valued logic determines the need for a more detailed study of the forms of representation offunctions of many-valued logic. In particular the algebraic normal form of Boolean functions, also known as Zhegalkin polynomial, that well describe many of the cryptographic properties of Boolean functions is widely used. In this article, we formalized the notion of algebraic normal form for many-valued logic functions. We developed a fast method of synthesis of algebraic normal form of 3-functions and 5-functions that work similarly to the Reed-Muller transform for Boolean functions: on the basis of recurrently synthesized transform matrices. We propose the hypothesis, which determines the rules of the synthesis of these matrices for the transformation from the truth table to the coefficients of the algebraic normal form and the inverse transform for any given number of variables of 3-functions or 5-functions. The article also introduces the definition of algebraic degree of nonlinearity of the functions of many-valued logic and the S-box, based on the principles of many-valued logic. Thus, the methods of synthesis of algebraic normal form of 3-functions applied to the known construction of recurrent synthesis of S-boxes of length N = 3k, whereby their algebraic degrees of nonlinearity are computed. The results could be the basis for further theoretical research and practical applications such as: the development of new cryptographic primitives, error-correcting codes, algorithms of data compression, signal structures, and algorithms of block and stream encryption, all based on the perspective principles of many-valued logic. In addition, the fast method of synthesis of algebraic normal form of many-valued logic functions is the basis for their software and hardware implementation.
Keywords: algebraic normal form, many-valued logic, Reed-Muller transform.
Артем Соколов родился 15 апреля 1990 года в Одессе, УССР. Получил степень бакалавра (с отличием) по специальности «Системы технической защиты информации» в 2011 году, степень магистра (с отличием) по специальности «Системы технической защиты информации, автоматизация её обработки» в 2013 году и степень кандидата технических наук по специальности «Системы защиты информации» в 2014 году в Одесском национальном политехническом университете, г. Одесса, Украина.
С 2012 по 2014 работал младшим научным сотрудником кафедры Информационной безопасности в Одесском национальном политехническом университете. С 2014 года является старшим преподавателем кафедры Информационной безопасности Одесского национального политехнического университета. Является автором монографии и более 30 научных статей. Научные интересы включают в себя методы защиты информации на основе совершенных алгебраических конструкций, методы синтеза алгоритмов шифрования данных и нелинейных S-блоков.
Артем Соколов награжден Золотой медалью за высокие достижения в учебе, Дипломом победителя в конкурсе Магистров, 2013 год; Дипломом победителя Всеукраинского конкурса научно-исследовательских работ «Телекоммуникационные системы и сети», 2012 год; Дипломом за высокие академические и исследовательские достижения, 2010 год.
Жданов Олег Николаевич родился 16 апреля 1964 года. В 1986 году окончил Красноярский Государственный Университет. Кандидатская диссертация по специальности «математический анализ» защищена в 1994 году. В настоящее время доцент кафедры безопасности информационных технологий Сибирского Государственного Аэрокосмического университета.
Читаемые лекционные курсы: «Криптографические методы защиты информации» (имеется удостоверение Института Криптографии, Связи и Информатики о соответствующем повышении квалификации), «Теоретико-числовые алгоритмы криптографии», «Теория надежности».
Общее количество публикаций 73, из них 7 - учебные пособия (в соавторстве с учениками).
Сфера научных интересов: системы дифференциальных уравнений в частных производных, являющиеся моделями процессов в механике сплошных сред. Получены точные решения уравнений пластичности плоского напряженного состояния, предложен новый подход к исследованию смешанной задачи для системы уравнений плоского напряженного состояния среды Мизе-са, построен алгоритм нахождения решения задачи Коши для системы уравнений, описывающей одномерный поток гранулированного материала.
Еще одной областью научных интересов является защита информации: разработка реализации алгоритмов шифрования данных при передаче по открытому каналу с привлечением к этой работе студентов старших курсов для выполнения ими курсового и дипломного проектирования. Совместно с учениками разработал методику выбора ключевой информации для реализации алгоритмов блочного шифрования. Получено авторское свидетельство (совместно с Чалки-ным Т. А.) на программный комплекс, реализующий выбор ключевой информации для шифрования данных по действующему стандарту России.
Два ученика стали лауреатами стипендии губернатора Красноярского края, а один - лауреат стипендии Правительства России и победитель конкурса на лучшую студенческую научную работу.
Награжден Благодарственным Письмом Законодательного Собрания Красноярского края. Награжден нагрудным знаком Министерства Образования и Науки РФ «За развитие научно-исследовательской работы студентов».
Айвазян Оганнес родился в Ереване, АССР, в 1990 году. Получил степень бакалавра по специальности «Компьютерные науки» в 2011 году, степень специалиста по специальности «Информационные системы проектирования» в 2012 году в Одесском национальном политехническом университете, г. Одесса, Украина.
С ноября 2013 года является аспирантом по специальности «Компьютерные системы и компоненты» и работает инженером-программистом. Научные интересы включают в себя методы недвоичного обнаружения и исправления ошибок, методы сглаживания и экстраполяции данных, квантовая обработка информации.
Айвазян Оганнес награжден грамотами за призовые места на олимпиадах.
