Изучаются вероятностные модели блочных шифрсистем, в которых случайные раундовые ключи независимы и одинаково распределены. Они называются марковскими шифрами, если последовательность раундовых разностей образует простую однородную цепь Маркова. Уточнены и обобщены критерий и достаточное условие марковости моделей шифрсистем. Расширен класс марковских шифров, построенный в диссертации швейцарского учёного X. Lai. Получены достаточные условия, при которых формула для матриц вероятностей переходов разностей расширенного класса содержит тензорное произведение матриц вероятностей переходов S-блоков.
