Блочные симметричные шифры и Марковские процессы

Abstract

Обсуждаются известные определения Марковских шифров. Представляется уточнённый подход к их определению, основывающийся на стохастических уравнениях Марковских процессов. Показано, что в соответствии с введенным определением практически любой итеративный шифр является Марковским, в частности, SPN шифры формируют в результате зашифрования Марковские процессы первого порядка, в то время как шифры, построенные с использованием Фестель подобных схем формирования цикловых функций, создают в результате зашифрования Марковские процессы второго порядка. Уточняются некоторые определения, связанные с Марковскими шифрами. The paper discusses the famous definitions of Markov ciphers and provides an updated approach to their definition based on the stochastic equations of Markov processes. It is shown that in accordance with the definition introduced almost any iterative cipher is a Markov one, in particular, SPN ciphers form Markovian first order processes as a result of encoding, while the ciphers, constructed with use of Festel-like schemes of forming cyclic functions, form Markov second order processes as a result of encoding. Some definitions, related to the Markov ciphers, are particularized.