Применение ASCR для верификации протоколов управления Software-Defined Network

Ткачева, Е. Б.; Исаам Саад; Мохаммед Джамал Салим

Публікація:
Применение ASCR для верификации протоколов управления Software-Defined Network

dc.contributor.author	Ткачева, Е. Б.
dc.contributor.author	Исаам Саад
dc.contributor.author	Мохаммед Джамал Салим
dc.date.accessioned	2018-04-03T13:47:24Z
dc.date.available	2018-04-03T13:47:24Z
dc.date.issued	2015
dc.description.abstract	Приведен обзор основных протоколов уровня управления и принципов их функционирования в сетях, построенных на основе концепции SDN. Выявлено, что версии протоколов имеют существенные различия, которые приводят к возникновению противоречий и ошибок в последующей работе и передаче данных. В рамках решения задачи устранения подобных ошибок предложено использовать формальные методы верификации. В качестве апарата формализации и последующей верификации применяется алгебра распределенных коммуникационных ресурсов. Для анализа и проверки протокола OpenFlow, который является основным протоколом уровня управления, разработан формализм, который позволяет описать и проверить требования различных версий спецификации протокола OpenFlow	uk_UA
dc.identifier.citation	Ткачева Е. Б. Применение ASCR для верификации протоколов управления Software-Defined Network / Е. Б. Ткачева, Исаам Саад, Мохаммед Джамал Салим // Радиотехника : Всеукр. межвед. науч.-техн. сб. – 2015. – Вып. 180. – С. 48 – 55.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/4587
dc.language.iso	ru	uk_UA
dc.publisher	ХНУРЭ	uk_UA
dc.subject	протокол OpenFlow	uk_UA
dc.subject	протокол уровня управления	uk_UA
dc.subject	формальные методы верификации	uk_UA
dc.title	Применение ASCR для верификации протоколов управления Software-Defined Network	uk_UA
dc.type	Article	uk_UA
dspace.entity.type	Publication