https://vital.lib.tsu.ru/vital/access/manager/Index en-us 5 Разработка формальных методов и инструментов анализа политик безопасности управления доступом на языке AlfaScript: дипломная работа (проект) специалиста по направлению подготовки: 10.05.01 - Компьютерная безопасность https://vital.lib.tsu.ru/vital/access/manager/Repository/vital:6030 Mon 05 Feb 2018 11:44:15 KRAT ]]>