Вероятностный Model Checking для анализа распределенных протоколов анонимизации

dc.contributor.author	Парфирова Алёна Вячеславовна
dc.contributor.author	Лепендин Андрей Александрович
dc.date.accessioned	2018-03-29T10:48:27Z
dc.date.available	2018-03-29T10:48:27Z
dc.date.issued	2017
dc.identifier.citation	Парфирова Алёна Вячеславовна. Вероятностный Model Checking для анализа распределенных протоколов анонимизации : магистерская диссертация по направлению подготовки: 10.04.01 - Информационная безопасность. - Барнаул, 2017.	ru_RU
dc.identifier.uri	http://elibrary.asu.ru/handle/asu/4669
dc.subject	10.04.01 - Информационная безопасность. Профиль "Информационная безопасность автоматизированных систем"	ru_RU
dc.title	Вероятностный Model Checking для анализа распределенных протоколов анонимизации	ru_RU