Formal Modeling and Security Analysis for OpenFlow-Based Networks

Yongxin Zhao, Xi Wu, Jing Liu, Yilong Yang 0001. Formal Modeling and Security Analysis for OpenFlow-Based Networks. In 23rd International Conference on Engineering of Complex Computer Systems, ICECCS 2018, Melbourne, Australia, December 12-14, 2018. pages 201-204, IEEE, 2018. [doi]

Authors

Yongxin Zhao

This author has not been identified. Look up 'Yongxin Zhao' in Google

Xi Wu

This author has not been identified. Look up 'Xi Wu' in Google

Jing Liu

This author has not been identified. Look up 'Jing Liu' in Google

Yilong Yang 0001

This author has not been identified. Look up 'Yilong Yang 0001' in Google