|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
New Method of Verifying Cryptographic Protocols, Based on the Process Modelстатья
Информация о цитировании статьи получена из
Scopus
Дата последнего поиска статьи во внешних источниках: 22 декабря 2021 г.
- Автор: Mironov Andrew M.
- Сборник: Proceedings of 10th Computer Science On-line Conference
- Серия: Lecture Notes in Networks and Systems
- Том: 229
- Год издания: 2021
- Издательство: Springer International Publishing AG
- Местоположение издательства: Cham, Switzerland
- Первая страница: 95
- Последняя страница: 109
- DOI: 10.1007/978-3-030-77445-5_9
- Добавил в систему: Миронов Андрей Михайлович