Анализ Российских Протоколов Выработки Общего Ключа С Использованием Средств Автоматической Верификации Криптографических Протоколов

Математические вопросы криптографии
doi 10.4213/mvk229
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Steklov Mathematical Institute