Применение ASCR для верификации протоколов управления Software-Defined Network
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Применение ASCR для верификации протоколов управления Software-Defined Network
|
|
| Creator |
Ткачева, Е. Б.
Исаам Саад Мохаммед Джамал Салим |
|
| Subject |
протокол OpenFlow
протокол уровня управления формальные методы верификации |
|
| Description |
Приведен обзор основных протоколов уровня управления и принципов их функционирования в сетях, построенных на основе концепции SDN. Выявлено, что версии протоколов имеют существенные различия, которые приводят к возникновению противоречий и ошибок в последующей работе и передаче данных. В рамках решения задачи устранения подобных ошибок предложено использовать формальные методы верификации. В качестве апарата формализации и последующей верификации применяется алгебра распределенных коммуникационных ресурсов. Для анализа и проверки протокола OpenFlow, который является основным протоколом уровня управления, разработан формализм, который позволяет описать и проверить требования различных версий спецификации протокола OpenFlow |
|
| Date |
2018-04-03T13:47:24Z
2018-04-03T13:47:24Z 2015 |
|
| Type |
Article
|
|
| Identifier |
Ткачева Е. Б. Применение ASCR для верификации протоколов управления Software-Defined Network / Е. Б. Ткачева, Исаам Саад, Мохаммед Джамал Салим // Радиотехника : Всеукр. межвед. науч.-техн. сб. – 2015. – Вып. 180. – С. 48 – 55.
http://openarchive.nure.ua/handle/document/4587 |
|
| Language |
ru
|
|
| Publisher |
ХНУРЭ
|
|