Зарегистрироваться
Восстановить пароль
FAQ по входу

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

  • Файл формата pdf
  • размером 1,20 МБ
  • Добавлен пользователем
  • Отредактирован
Верификация функций безопасности и мобильности протоколов IP
М.: Институт Системного Программирования РАН, 2006. – 70 с.
(Коллектив авторов).
Отчет о научно-исследовательской работе по проекту РФФИ № 04-07-90308 (Итоговый научный отчет).
Содержание:
Метод верификации.
Обзор предлагаемого метода.
Введение в контрактные спецификации.
Тестирование соответствия контрактным спецификациям.
Архитектура тестового набора.
Верификация функций безопасности.
Обзор регламентирующих документов IPsec.
Исследование реализаций IPsec.
Каталог функциональных требований к реализациям IPsec.
Структура формальной спецификации.
Устройство тестового стенда.
Инструментальные средства.
Верификация функций мобильности.
Краткий обзор MIPv6.
Предварительное исследование реализации Mobile IPv6.
Схема тестового набора и ход выполнения тестового сценария.
Каталог функциональных требований к реализациям Mobile IPv6.
Структура формальной спецификации.
Концептуальная модель операций Mobile IPv6.
Спецификации поведения мобильного узла.
Тестовый набор.
Результаты тестирования реализации Mobile IPv6.
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация