Рассматривается стойкость rijndael-подобных алгоритмов шифрования к атаке усеченных дифференциалов. Доказываются теоремы об отсутствии эффективных байтовых дифференциальных характеристик и эффективных байтовых дифференциалов для шифров с достаточным числом циклов, что свидетельствует о защищенности от атаки усеченных дифференциалов. Основной итог работы заключается в том, что удалось доказать отсутствие эффективных байтовых дифференциалов для определенного числа циклов Rijndael-подобных шифров, значит эти шифры можно считать доказуемо стойкими к атаке усеченных дифференциалов. Ключевые слова: блочный симметричный шифр, криптоаналитическая атака, дифференциальная характеристика, дифференциал, усеченный (байтовый) дифференциал.
