Линейные рассеивающие преобразования и нелинейные инварианты XSL-алгоритмов

Д. А. Буров

Лаборатория ТВП

Аннотация: В работе изучаются необходимые условия на линейное рассеивающее преобразование, при которых существуют цепочки инвариантов для XSL-алгоритмов. Определены характеристики матрицы, влияющие на наличие таких цепочек. Полученные результаты могут быть использованы для доказательства отсутствия цепочек инвариантов, а также для их построения. Показано, что алгоритм «Кузнечик» не допускает цепочек инвариантов исследуемого вида. Для преобразования MixColumns алгоритма AES описан класс подпространств, смежные классы по которым могут образовывать инвариантные цепочки.

Ключевые слова: метод нелинейных инвариантов, метод инвариантных смежных классов, линейное рассеивающее преобразование, «Кузнечик», AES.

УДК: 519.719.2

Статья поступила: 31.12.2024

DOI: 10.4213/dm1864