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