|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
A new method of verification of security protocolsстатья
- Автор: Mironov A.M.
- Сборник: Proceedings of 9th Workshop “Program Semantics, Specification and Verification: Theory and Applications" (PSSV-2018), Yaroslavl, Russia, June 21-22, 2018
- Год издания: 2018
- Издательство: Яросл. гос. ун-т
- Местоположение издательства: Ярославль
- Первая страница: 68
- Последняя страница: 78
- Добавил в систему: Миронов Андрей Михайлович