|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
О формальной верификации криптографических протоколов с использованием spi-исчислениястатья
- Авторы: Захаров В.А., Корчевский А.А.
- Сборник: Труды второй всероссийской конференции «Методы и средства обработки информации»
- Год издания: 2005
- Место издания: Изд-во ф-та ВМК МГУ Москва
- Первая страница: 373
- Последняя страница: 379
- Добавил в систему: Захаров Владимир Анатольевич