Publications

Formal modeling and security analysis for openflow-based networks

Yongxin Zhao, Xi Wu, Jing Liu, Yilong Yang

Formal modeling and security analysis for openflow-based networks overview

Paper Details

Formal modeling and security analysis for openflow-based networks

Authors
Yongxin Zhao, Xi Wu, Jing Liu, Yilong Yang
Year
2018
Venue
IEEE ICECCS
Type
Conference

Abstract

Abstract information will be added from the publication database. This detail page is prepared to present the paper problem, method, contribution, and evaluation evidence once the abstract is available.

Links