Showing results 1 to 1 of 1
Model checking invariant security properties in OpenFlow Son, Sooel; Shin, Seungwon; Yegneswaran, Vinod; Porras, Phillip; Gu, Guofei, International Conference on Communications, ICC 2013, pp.1974 - 1979, Institute of Electrical and Electronics Engineers Inc., 2013-06-10 |
Discover