Прикладная теория графов
О $\langle 2\rangle$-экспонентах орграфов нелинейности регистровых преобразований
В. М. Фомичёвab,
В. М. Бобровc a Финансовый университет при Правительстве Российской Федерации, г. Москва, Россия
b Федеральный исследовательский центр «Информатика и управление»
Российской академии наук (ФИЦ ИУ РАН), г. Москва, Россия
c Национальный исследовательский ядерный университет «МИФИ», г. Москва, Россия
Аннотация:
Матрично-графовый подход применяется для оценки множества существенных и нелинейных переменных координатных функций произведения преобразований векторных пространств. Для существенных переменных оценки получаются с помощью умножения двоичных перемешивающих матриц (или орграфов) умножаемых преобразований, для нелинейных переменных — с помощью умножения троичных матриц нелинейности умножаемых преобразований или соответствующих им орграфов нелинейности, дуги которых помечены числами множества
$\{0,1,2\}$. Для степеней заданного преобразования область нетривиальных оценок ограничена: для множества существенных переменных — экспонентом перемешивающей матрицы (орграфа); для множества нелинейных переменных —
$\langle 2\rangle$-экспонентом матрицы (орграфа) нелинейности. Для класса преобразований двоичных регистров сдвига получена достижимая оценка
$\langle 2\rangle$-экспонентов, выраженная через длину регистра сдвига и множества номеров существенных и нелинейных переменных функции обратной связи. Для регистровых преобразований, орграф нелинейности которых имеет петлю, получена точная формула
$\langle 2\rangle$-экспонента. Результаты могут быть использованы для оценки характеристик нелинейности криптографических функций, построенных на основе итераций регистровых преобразований.
Ключевые слова:
преобразование регистра сдвига, орграф нелинейности, \protect
$\langle 2\rangle$-примитивность, локальная
$\langle 2\rangle$-примитивность,
$\langle 2\rangle$-экспонент орграфа, локальный
$\langle 2\rangle$-экспонент орграфа.
УДК:
519.17
DOI:
10.17223/20710410/55/5