Информатика, вычислительная техника и управление. Диссертация Верификация правил фильтрации межсетевых экранов на основе применения метода "проверка на модели" : диссертация ... кандидата технических наук : 05.13.19, Санкт-Петербург, 2013