Development of the approach to proving the security of block ciphers to impossible differential attack

Abstract

Пропонується метод, який дозволяє обгрунтувати відсутність нездійснених диференціалів. Складність цього методу, на відміну від відомих, в меншій мірі залежить від розміру блоку. Метод застосовується до Rijndael-подібних SPN шифрів та фейстель-подібних шифрів. Обговорюються результати обчислювальних експериментів з пошуку нездійснених диференціалів для зменшених моделей блокових шифрів. Підтверджується справедливість висновків, отриманих за допомогою запропонованого методу обґрунтування відсутності нездійснених диференціалів.A method is proposed that allows one to justify the absence of unrealizable differentials. The complexity of the method, unlike the known ones, depends to a lesser extent on the block size. The method is applied to Rijndael-like SPN ciphers and feistel-like ciphers. The results of computational experiments on the search for unrealizable differentials for reduced models of block symmetric ciphers are discussed. The validity of the conclusions obtained with the help of the proposed method for justifying the absence of impracticable differentials is confirmed.Предлагается метод, который позволяет обосновать отсутствие невыполнимых дифференциалов. Сложность метода, в отличие от известных, в меньшей степени зависит от размера блока. Метод применяется к Rijndael-подобным SPN шифрам и фейстель-подобным шифрам. Обсуждаются результаты вычислительных экспериментов по поиску невыполнимых дифференциалов для уменьшенных моделей блочных симметричных шифров. Подтверждается справедливость выводов, полученных с помощью предложенного метода обоснования отсутствия невыполнимых дифференциалов.