Публікація: Применение ASCR для верификации протоколов управления Software-Defined Network
Завантаження...
Дата
2015
Назва журналу
ISSN журналу
Назва тома
Видавництво
ХНУРЭ
Анотація
Приведен обзор основных протоколов уровня управления и принципов их функционирования в сетях, построенных на основе концепции SDN. Выявлено, что версии протоколов имеют существенные различия, которые приводят к возникновению противоречий и ошибок в последующей работе и передаче данных. В рамках решения задачи устранения подобных ошибок предложено использовать
формальные методы верификации. В качестве апарата формализации и последующей верификации применяется алгебра распределенных коммуникационных ресурсов. Для анализа и проверки протокола OpenFlow, который является основным протоколом уровня управления, разработан формализм, который позволяет описать и проверить требования различных версий спецификации протокола OpenFlow
Опис
Ключові слова
протокол OpenFlow, протокол уровня управления, формальные методы верификации
Бібліографічний опис
Ткачева Е. Б. Применение ASCR для верификации протоколов управления Software-Defined Network / Е. Б. Ткачева, Исаам Саад, Мохаммед Джамал Салим // Радиотехника : Всеукр. межвед. науч.-техн. сб. – 2015. – Вып. 180. – С. 48 – 55.