Алгоритм анализа S-блоков

В общем случае показано[4−7], что если входная разность в блок замены имеет нулевую разность (то есть тексты, которые образуют данную разность, равны), то на выходе такого преобразования разность также будет иметь нулевое значение (несмотря на то, что она будет образована новыми значениями, полученными в результате применения преобразования замены) [8−10]. Если же входная разность имеет ненулевое значение, то она может быть преобразована в различные значения с некоторыми вероятностями (в некоторых случаях даже в значение, равное 0, как например это было показано для алгоритма шифрования DES [3]). В общем случае алгоритм определения соответствия входных и выходных разностей может быть представлен в следующем виде.

Алгоритм анализа блока замены

• 1. Определяется блок замены, на вход которого поступает n бит.
• 2. В таблице анализа для данного блока замены все исходные значения полагаются равными 0.
• 3. Определяется первое возможное значение входной разности А=0.
• 4. Определяется значение первого входа Х=0 в анализируемый S-блок.
• 5. Вычисляется второе значение входа Х' = Х А.
• 6. Для входов Х и Х' в соответствии с принципом работы S-блока определяются соответственно выходы Y и Y'.
• 7. Вычисляется значение выходной разности С = Y Y'.
• 8. В таблице анализа увеличивается на 1 значение, стоящее на пересечении строки с номером, А и столбца с номером С.
• 9. Значение Х увеличивается на 1.
• 10. Если Х<2n, то происходит переход к пункту 5.
• 11. Значение, А увеличивается на 1.
• 12. Если, А < 2n, то происходит переход к пункту 4.
• 13. Если не все блоки замены проанализированы, то происходит переход к пункту 1, иначе алгоритм заканчивает свою работу.