Применение символьных методов к доказательству стойкости криптографических протоколовдипломная работа (Бакалавр)