ЖДТУ Бібліотека Електронний каталог | ||
Кравченко П.О. Розширення моделі типізованої специфікації для формального аналізу криптографічних протоколів Вид документа: Стаття періодичного видання Автор: Кравченко П.О. Авторський знак: К78 Вид автора: персона Мова: Українська Обсяг: С.192 Шифр: 621.396 УДК: 621.396
| ||
|