Показать сокращенную информацию
Вероятностный 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 |