РИД
№ АААА-Г18-618032190033-4Верификатор правил фильтрации политики безопасности
21.03.2018
Данное ПО предназначено для оценки соответствия реализованных правил фильтрации политике безопасности. Для решения этой задачи используется метод проверки на модели (model checking).
ГРНТИ
81.96.00 Защита информации
Ключевые слова
ПРОВЕРКА НА МОДЕЛИ
ВЕРИФИКАЦИЯ ПРАВИЛ
ПОЛИТИКА БЕЗОПАСНОСТИ
ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ
Детали
Тип РИД
Программа для ЭВМ
Сферы применения
Элемент системы проектирования безопасных компьютерных сетей
Ожидается
Исполнитель
Исполнители
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ УЧРЕЖДЕНИЕ НАУКИ "САНКТ-ПЕТЕРБУРГСКИЙ ФЕДЕРАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ ЦЕНТР РОССИЙСКОЙ АКАДЕМИИ НАУК"
Похожие документы
Верификация сетевых информационных потоков для защиты информационно-телекоммуникационных систем со встроенными устройствами
0.871
РИД
Формальный верификатор телекоммуникационных и ИТ инфраструктур
0.870
РИД
Верификация сетевых информационных потоков для защиты информационно-телекоммуникационных систем со встроенными устройствами
0.865
РИД
Программная реализация процедуры верификации основанных на атрибутах политик доступа в среде UPPAAL
0.852
РИД
Программа анализа и фильтрации потоков управления в распределенных системах управления кибербезопасностью
0.830
РИД
Компонент определения рисков информационной безопасности активов компьютерной сети на основе полученных событий безопасности
0.818
РИД
Модуль обнаружения и идентификации кибератак в мультиоблачной инфраструктуре сети провайдеров телекоммуникационных услуг
0.813
РИД
Компонент оценки эффективности верификации информационных потоков на основе метода проверки на модели
0.809
РИД
Программа для проверки корректности контроля доступа в системах больших данных с использованием темпоральной логики
0.804
РИД
Компонент анализа моделей атак для защиты информационно-телекоммуникационных систем
0.802
РИД