РИД
№ 625081800008-8Формальный верификатор телекоммуникационных и ИТ инфраструктур
18.08.2025
Формальный верификатор телекоммуникационных и ИТ инфраструктур — программное обеспечение, предназначенное для анализа сетевой конфигурации с использованием методов формальной верификации. Программа работает с данными сетевого оборудования, включая информацию о маршрутизации, правилах доступа и сегментировании. На основе этих данных формируется модель инфраструктуры, которая используется для проверки логической целостности сети и соответствия заданным политикам безопасности. Программа позволяет выявлять конфигурационные ошибки, нарушения изоляции и отклонения от проектных требований, повышая надёжность и предсказуемость работы телекоммуникационных и ИТ инфраструктур.
ГРНТИ
28.17.19 Математическое моделирование
49.33.35 Надежность сетей связи и защита информации
20.53.17 Средства хранения информации
Ключевые слова
модель сети
телекоммуникационная и ИТ инфраструктура
ПО
Формальный верификатор
Детали
НИОКТР
Тип РИД
Программа для ЭВМ
Сферы применения
Разработанное программное обеспечение может применяться для верификации, моделирования и анализа безопасности корпоративных и операторских телекоммуникационных сетей, сетей центров обработки данных (ЦОД), а также ИТ-инфраструктур предприятий и организаций, включая госсектор и критическую информационную инфраструктуру.
Ожидается
Исполнитель
Исполнители
ОБЩЕСТВО С ОГРАНИЧЕННОЙ ОТВЕТСТВЕННОСТЬЮ "ДСН ЛАБС"
Заказчик
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ УЧРЕЖДЕНИЕ "ФОНД СОДЕЙСТВИЯ РАЗВИТИЮ МАЛЫХ ФОРМ ПРЕДПРИЯТИЙ В НАУЧНО-ТЕХНИЧЕСКОЙ СФЕРЕ"
Похожие документы
Верификатор правил фильтрации политики безопасности
0.870
РИД
Верификация сетевых информационных потоков для защиты информационно-телекоммуникационных систем со встроенными устройствами
0.859
РИД
Верификация сетевых информационных потоков для защиты информационно-телекоммуникационных систем со встроенными устройствами
0.856
РИД
Компонент оценки эффективности верификации информационных потоков на основе метода проверки на модели
0.831
РИД
Подсистема сигнатурного анализатора, включающая алгоритмы оценки достоверности результатов с применением методов голосования
0.827
РИД
Программа анализа и фильтрации потоков управления в распределенных системах управления кибербезопасностью
0.824
РИД
Программа для моделирования и оценки защищенности сетевых топологий распределенных инфотелекоммуникационных и киберфизических систем
0.822
РИД
Компонент анализа моделей атак для защиты информационно-телекоммуникационных систем
0.821
РИД
Программное средство адаптивной оценки трафика в мультисервисных компьютерных сетях для анализа рисков угроз информационной безопасности
0.820
РИД
Программа для идентификации и ранжирования объектов защиты в критической информационной инфраструктуре
0.820
РИД