Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


- результаты поиска

Вид поиска
Книги фонда НБ СГЮА
Дипломные работы выпускников СГЮА за последние 5 лет
Авторефераты
Диссертации
Период.издания науч.абонемента
Редкие книги Научной библиотеки СГЮА
Каталог электронных носителей
Труды ученых СГЮА
Саратовский край
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Поисковый запрос: (<.>K=метод проверки на модели<.>)
Общее количество найденных документов : 1
1.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Полубелова О. В., Котенко И. В.
Заглавие : Методика верификации правил фильтрации методом "проверки на модели"
Серия: Аспекты информационной безопасности
Место публикации : Проблемы информационной безопасности. Компьютерные системы. - 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-процессоры--аномалии фильтрации--верификация правил фильтрации--компьютерная безопасность--компьютерное моделирование--межсетевые экраны--метод проверки на модели--политика безопасности--правила фильтрации--сетевой трафик--темпоральные логики--фильтрация сетевых экранов
Аннотация: Предложена методика верификации правил фильтрации межсетевых экранов для обнаружения аномалий фильтрации, основанная на применении метода "проверки на модели".
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)