Я. І. Заячук, О. В. Мойсеєнко, і А. П. Толстокоров, «Визначення стійкості криптографічних протоколів на основі їх імовірнісних моделей», EEJET, т. 4, вип. 2(52), с. 67–70, Груд 2011.