$\otimes_{\mathbf{W}}$-марковость XSL-алгоритмов блочного шифрования, связанная со свойствами слоев раундовой функции

Ранее авторами были описаны условия существования подстановочных гомоморфизмов для некоторого класса $\otimes_{\mathbf{W}}$-марковских алгоритмов. В настоящей работе получены условия $\otimes_{\mathbf{W}}$-марковости $S$-боксов и преобразования линейного слоя. В частности, приведено достаточное условие на $S$-боксы и преобразование линейного слоя, при которых XSL-алгоритм является $\otimes_{\mathbf{W}}$-марковским.