|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ПсковГУ |
||
Математическая модель и методы верификации криптографических протоколовстатья
- Автор: Миронов А.М.
- Журнал: Интеллектуальные системы. Теория и приложения
- Том: 26
- Номер: 2
- Год издания: 2022
- Издательство: ООО "Интеллектуальные системы"
- Местоположение издательства: Москва
- Первая страница: 85
- Последняя страница: 144
- Добавил в систему: Миронов Андрей Михайлович