Sooel Son, Seungwon Shin, Vinod Yegneswaran, Phillip A. Porras, Guofei Gu. Model checking invariant security properties in OpenFlow. In Proceedings of IEEE International Conference on Communications, ICC 2013, Budapest, Hungary, June 9-13, 2013. pages 1974-1979, IEEE, 2013. [doi]
Abstract is missing.