Основы проектирования криптопротоколов
Post navigation
Previous:
MongoDB — документная модель, агрегации и индексирование
Next:
Формальный анализ протоколов — BAN-логика и автоматическая верификация