Method for OpenFlow Protocol Verification

Публікація:
Method for OpenFlow Protocol Verification

dc.contributor.author	Tkachova, O.
dc.contributor.author	Saad, I.
dc.date.accessioned	2016-09-07T07:49:26Z
dc.date.available	2016-09-07T07:49:26Z
dc.date.issued	2015
dc.description.abstract	This paper is devoted to SDNs verification. The main problems in deployment and maintenance process are analyzed. Methods of formal verification are suggest as way to check correctness and corresponds to the requirement. The modification of Model Checking proposed for verification the main feature of OpenFlow protocol	uk_UA
dc.identifier.citation	Second International Scientific-Practical Conference «Problems of Infocommunications. Science and Technology» PIC S&T`2015	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/2219
dc.language.iso	en	uk_UA
dc.publisher	KHARKIV NATIONAL UNIVERSITY OF RADIO ELECTRONICS	uk_UA
dc.subject	TELECOMMUNICATIONS	uk_UA
dc.subject	OpenFlow	uk_UA
dc.subject	Model Checking	uk_UA
dc.subject	virafication	uk_UA
dc.subject	simbolic execution	uk_UA
dc.subject	Software-Defined Networking	uk_UA
dc.title	Method for OpenFlow Protocol Verification	uk_UA
dc.type	Conference proceedings	uk_UA
dspace.entity.type	Publication