Szyfr markowowski
Szyfr iteracyjny, w którym prawdopodobieństwo propagacji różnicy przez rundę zależy tylko od różnicy wejściowej, a nie od samego wejścia.
Xuejia Lai, James Massey i Sean Murphy zdefiniowali to pojęcie w 1991 roku, jako produkt uboczny prac nad IDEA. Jeśli szyfr jest markowowski, a klucze rund są niezależne i jednostajnie losowe, różnice między rundami tworzą łańcuch Markowa. Prawdopodobieństwo pełnej charakterystyki różnicowej jest wtedy iloczynem prawdopodobieństw poszczególnych rund, co po cichu zakłada każdy atak różnicowy.
DES i IDEA spełniają tę definicję. Kłopot tkwi w warunku wstępnym: prawdziwe szyfry mają harmonogram kluczy, więc klucze rund nie są niezależne. Lai ze współautorami dodali więc hipotezę równoważności stochastycznej: to, co zachodzi średnio dla wszystkich kluczy, zachodzi też dla prawie każdego pojedynczego klucza. Zwykle tak jest. Zwykle to jeszcze nie zawsze.