Практический анализ криптографических протоколов - Михайлов А. С. (Информационная безопасность, 2003)