Вероятностный Model Checking для анализа распределенных протоколов анонимизации
Открыть
Дата: 2017
Автор
Парфирова Алёна Вячеславовна
Лепендин Андрей Александрович
Выходные сведения
Парфирова Алёна Вячеславовна. Вероятностный Model Checking для анализа распределенных протоколов анонимизации : магистерская диссертация по направлению подготовки: 10.04.01 - Информационная безопасность. - Барнаул, 2017.