Бабаш А.В., Шанкин Г.П. Криптография (распознано не всё)
.pdf
|
|
342 |
Из формул |
СГ(0) = ^ - Н Л у) = М ) и |
|
\ / |
2 |
|
А г ( и ) = - 2 т с Д и ) , |
1 ] ф 0 для коэффициентов Фурье булевой |
|
функции получаем, что для |
I / ф О |
Д,(о)= 2”-1-2-сДо) „ С/ (0)= М
Из равенств ^ / \ У / ~ 4 4. ^ / \ / и / V / 2 ”* сле‘
дует, что
Д / ( 0 ) + 2 " С / ( 0 ) = 2 " - 1.
Для коэффициентов статистической структуры имеют место нера
венства |
|
|
5 -1 |
|
|
2 2 |
< Д / ( С / ) < 2 ” 4 . |
|
Оценка сверху для Д /■ |
) следует из равенства |
|
Р(Г(У |
= (11, V 4 |
+ ^ г - . |
Оценка снизу вытекает из равенства Парсеваля . Действительно, до
пустим, что А 0 - 0 < 2
Тогда
^ Д 2/ ( к ) < 2 2 (тЧ ),
Уе У
г ^ х т
что противоречит равенству Парсеваля.
|
|
344 |
|
|
|
Например, при т =2 факторизация имеет вид |
|||||
|
9 где |
|
|
|
|
1 |
1 |
0 |
°1 |
|
|
1 |
- 1 |
0 |
|
|
|
0 |
|
|
|||
0 |
0 |
1 |
1 |
9 |
|
|
|
||||
0 |
0 |
1 |
- к |
|
|
|
|
|
|
|
|
|
( 1 |
0 |
1 |
|
0 ^ |
м<2) = н2®е2 |
0 |
1 |
0 |
|
1 |
1 |
0 |
- 1 |
|
0 |
|
|
|
||||
|
|
1 |
0 |
- |
к |
|
|
|
|
||
„ |
= Е |
9111-1 |
Н 2 ®Е. ГП-1 5 2 < 1 < т - 1 |
||
Из равенств 1УА0ш |
^ |
||||
следует, что матрица |
» 0 3 / Зда, содержит в каждой строке и в каждом |
столбце ровно два ненулевых элемента, равных либо 1, либо -1. Следователь но, умножение любой вектор-строки размерности 2т на столбец матрицы
м |
(О |
2т связано с одной операцией сложения или вычитания компонент даннои |
вектор-строки, а общее число таких операций при умножении вектора-строки
на матрицу -Л/-™ равно 2Ш. Так как умножение вектора-строки на матрицу
Я |
2 ш |
можно свести к последовательному умножению на матрицы |
||
2^1 ? |
2* |
, то общее число операций при таком умножении ра- |
||
вно |
ш2т. |
|
Н по |
|
|
Отметим, что число умножений вектора-строки на матрицу |
|||
рядка 2т без |
применения схемы быстрого, умножения требует 22т |
операций. |
Способ быстрого умножения вектор-стрбки на матрицуСильвестра-Адамара с использованием приведенной факторизации обычно называют схемой Грина.
347
Для исследования |
_ расстояния функции Гдо множества А(п) |
|
рассмотрим |
- группу всех обратимых преобразований пространства |
[0^(2)] р эхой группе рассмотрим подгруппу АОЦп) всех аффинных пре
образований. Известно, что любой элемент |
А О Ь (п ) может быть |
||
записан в виде |
с х(% \= А х "Ьа |
, где А - регулярная (невырожденная) матрица |
|
' ’ |
|||
ихи и а е [О Р (д )]т |
|
|
|
Положим, |
|
|
|
|
Ф ( п ) = \ / : [ С Г ( 2 ) Г - > С Р ( 2 ) \ |
||
множество всех булевых функций от п переменных. |
|
||
Действие группы |
на множество |
определим равенством |
« • / О ) = / ( « ( • * ) )
/ е Ф(и),а € П(п),х е [СГ(2)]]
где
В этих терминах описание критериев нелинейности функций можно сделать более общим и более точным. Любой такой критерий определяется функцией Б
И : Ф(п) —» IV
которая принимает значения из соответствующего множества XV. Функция Гудовлетворяет критерию нелинейности, если И(^))е\У1,
- соответствующим образом определенное подмножество. Существен
но,чтобы значения И были инвариантны при таких преобразованиях из |
5 |
которые переводят функцию Гв другую функцию § , не удовлетворяющую криптографическим требованиям. В совокупность таких преобразований обыч но включают аффинные преобразования.
Для определения критерия рассмотрим максимальную подгруппу
— ^ ( п) } которая оставляет Б инвариантным, т. е.
Д Г > ) = { а : П ( а • / ) = ! > ( / ) , / е Ф ( и ) , а <= П ( и ) }
Группу будем называть группой симметрий Б. Исследование критериев нелинейности связано с описанием группы симметрий.
348
с
Прежде всего покажем, что расстояние ^ до ближайшей аффинной функции инвариантно относительно операции действия аффинной группы
АСЬ(п)
' . Этот результат получим в качестве следствия из теоремы, сформу лированной ниже.
|
„ |
|
Н а Ф(п) |
|
/ |
еФ(п) |
й |
|
|
||||
|
Пусть |
— |
' |
|
' и для •' |
' ' |
обозначим |
|
|||||
ё н (5 ) = гшп (1 (Т ,Н ); П ( п ) |
- группа всех обратимых преобразований |
||||||||||||
V |
|
|
ЬеН |
|
|
|
|
|
|
|
|
|
|
(2)Г |
|
|
|
|
|
|
|
|
|
|
|
||
|
Положим, |
|
|
|
|
|
|
|
|
|
|||
|
^ |
.(^) ={а: а-Ь е Ндля всех |
ЬеН,аеО(п)}. |
||||||||||
|
Будем называть |
|
а " (и) |
. |
|
. |
„ |
||||||
|
|
|
4 |
' группой симметрии множества Н. |
|||||||||
|
Теорема 1. Для любого подмножества ^ |
группа симметрий |
|||||||||||
(21 совпадает с группой симметрий Н, т. е. |
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
Щ т) = П.т{п) |
|
|
||
|
ДОКАЗАТЕЛЬСТВО состоит из двух пунктов. |
|
|||||||||||
|
а) |
Покажем, что ^ |
|
~ |
) |
Возьмем СХ, е |
(п ) и |
||||||
/ е |
Ф |
(« ) |
Пусть Н Ъ Н |
такое |
что < * » ( /) = |
< * ( / > Ю |
тогда |
||||||
< / « ( / ) |
= |
а ( / , Н |
) = |
с Ц |
а - / , а - к ) , таккак„„ерациядейСтвия |
||||||||
на Ф(п) оставляет инвариантным расстояние Хэмминга. Из определения |
|||||||||||||
0.н (п) |
|
|
|
а - Н е Н |
и, следовательно, |
|
|||||||
|
4 |
7 следует, что |
|
" |
|
1 |
|
||||||
<}{а • / , а • к) > йн(а ■/ ) |
Таким 0бразом, |
^ |
/ ) при |
||||||||||
любом а. |
|
|
|
|
|
|
|
|
|
п (и) |
|
||
|
|
|
|
а И(п) |
|
|
|
|
|
||||
|
Так как |
4 |
|
есть подгруппа группы |
4 , то существует оо- |
||||||||
ратный элемент ^ |
. Действуя этим элементом, получаем, что |
350
Расстояние до линейной структуры может быть одним из критериев не линейности булевой функции. Это вытекает, в частности, из следствия из тео ремы 1.
Следствие 2. Для группы Да) симметрий расстояния до линейной
АвЫ п) = Л а )
структуры а имеет место включение 4 у ' .
Применим теорему 1 и покажем, что |
0(пГ"> => АСЦп) |
|||||
4 у |
х . |
|||||
„ |
/ € Ь8(п ) |
|
а € [вР(2)\ |
|
||
Пусть |
•' |
х ' и пусть |
4 / -1 есть линейная структура |
|||
. |
х е [ОГ(2)1” |
|
|
|
_ |
|
I, т.е. для всех |
1 |
4 7Л |
выполнено равенство г(х+а)+цх)=С, где посто- |
|||
С е в Р (2 ) |
_ |
сее АОЬ(п) |
|
|||
янная |
4 ' . Тогда для |
|
|
равенство |
||
|
/(а (х + а~1(а)))+ /{а{х)) = С |
|
||||
выполняется для всех |
х € [СГ(2)]‘ |
|
(а) есть линейная |
|||
*■ |
4 / -1 . Это означает, что а |
|||||
, |
_ |
|
|
а е |
|
|
структура <х-г. Отсюда следует, что |
|
|
|
8. Порядок нелинейности.
( = ф (п )
Для булевой функции ^ ' обозначим через 0(1) - степень члена в алгебраической нормальной форме, имеющего наивысший порядок. Величину 0(1) будем называть порядком нелинейности булевой функции. По-
. О : Ф(и) —» {ОД,К, и},
рядок нелинейности, определяемый функцией 4 ' ’ удовлетворяет требованиям критерия нелинейности в силу следующей теоре мы.
Теорема 2. Группа симметрий функции 0 совпадает с аффинной группой АОЦп).
ДОКАЗАТЕЛЬСТВО содержит два пункта.
а) Покажем, что АСЬ(п) ^ А(О) Пусть % 6 АОЬ{п) и выдран
извольная функция ? е Ф(п) . Вычислим алгебраическую нормальную форму
для %'■?’, используя ее связь с |
. В |
некоторые нелинейные |
|
члены |
МОГут исчезать, а некоторые - появляться как новые. Однако чле- |