Анализ Российских Протоколов Выработки Общего Ключа С Использованием Средств Автоматической Верификации Криптографических Протоколов
Математические вопросы криптографии
doi 10.4213/mvk229
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2017
Authors
Publisher
Steklov Mathematical Institute