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