Markov-cijfer
Een iteratief cijfer waarbij de kans dat een verschil door een ronde propageert alleen van het invoerverschil afhangt, niet van de invoer zelf.
Xuejia Lai, James Massey en Sean Murphy definieerden het begrip in 1991, als bijproduct van hun werk aan IDEA. Is een cijfer Markov en zijn de rondesleutels onafhankelijk en uniform willekeurig, dan vormen de verschillen tussen de rondes een Markovketen. De kans op een volledige differentiële karakteristiek is dan het product van de kansen per ronde, en dat is precies wat elke differentiële aanval stilzwijgend aanneemt.
DES en IDEA voldoen allebei. Het probleem is de voorwaarde: echte cijfers hebben een key schedule, dus de rondesleutels zijn niet onafhankelijk. Lai en zijn medeauteurs voegden daarom de hypothese van stochastische equivalentie toe: wat gemiddeld over alle sleutels geldt, geldt ook voor vrijwel elke afzonderlijke sleutel. Meestal klopt dat. Meestal is niet altijd.