Я. І. Заячук, О. В. Мойсеєнко, and А. П. Толстокоров, “Determination of stability of cryptographic protocols on the basis of their probabilistic models”, EEJET, vol. 4, no. 2(52), pp. 67–70, Dec. 2011.