Информатика, вычислительная техника и управление. Диссертация Автоматизированный анализ выполнения правил политик безопасности в информационных системах : диссертация ... кандидата технических наук : 05.13.19, Санкт-Петербург, 2003