|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Об одном символьном методе верификации криптографических протоколовтезисы доклада
- Авторы: Захаров В.А., Корчевский А.А.
- Сборник: Проблемы теоретической кибернетики. Тезисы докладов XIV Международной конференции (Пенза, 23-28 мая 2005 г.)
- Серия: Проблемы теоретической кибернетики
- Тезисы
- Год издания: 2005
- Место издания: Изд-во механико-математического факультета МГУ Москва
- Первая страница: 71
- Последняя страница: 71
- Добавил в систему: Захаров Владимир Анатольевич