Вид документа : Статья из журнала Шифр издания : Автор(ы) : Полубелова О. В., Котенко И. В. Заглавие : Методика верификации правил фильтрации методом "проверки на модели" Серия: Аспекты информационной безопасности Место публикации : Проблемы информационной безопасности. Компьютерные системы. - 2013. - № 1. - С.151-168: схемы, табл., граф. - ISSN 2071-8217 (Шифр pinb/2013/1). - ISSN 2071-8217 Примечания : Библиогр.: с. 167-168 (30 назв.) УДК : 004.7 + 004.41/42 ББК : 32.973.202 + 32.973 Предметные рубрики: Вычислительная техника Вычислительные сети Программирование ЭВМ. Компьютерные программы. Программотехника Ключевые слова (''Своб.индексиров.''): spin-процессоры--аномалии фильтрации--верификация правил фильтрации--компьютерная безопасность--компьютерное моделирование--межсетевые экраны--метод проверки на модели--политика безопасности--правила фильтрации--сетевой трафик--темпоральные логики--фильтрация сетевых экранов Аннотация: Предложена методика верификации правил фильтрации межсетевых экранов для обнаружения аномалий фильтрации, основанная на применении метода "проверки на модели". Доп.точки доступа: Котенко, И. В. |