Институт системного программирования им. В.П. Иванникова РАН


Верификация функций безопасности и мобильности протоколов IP.

Целями этого проекта были исследование и развитие методов формального моделирования телекоммуникационных протоколов применительно к функциям безопасности и мобильности, а также разработка новых методов и программных средств автоматизации построения тестовых наборов для проверки соответствия реализаций этих функций стандартам Интернета.

Следует отметить, что проект выполнялся в тесном взаимодействии с отделом «Технологий программирования».

Исполнитель

Архитектура вычислительных систем

Перейти к списку всех проектов