-
3
-
-
85076709056
-
Real time network policy checking using header space analysis
-
P. Kazemian, M. Chang, H. Zeng, G. Varghese, N. McKeown, and S. Whyte. Real time network policy checking using header space analysis. In Proceedings of NSDI, 2013.
-
(2013)
Proceedings of NSDI
-
-
Kazemian, P.1
Chang, M.2
Zeng, H.3
Varghese, G.4
McKeown, N.5
Whyte, S.6
-
4
-
-
85076705859
-
Veriflow: verifying network-wide invariants in real time
-
A. Khurshid, X. Zou, W. Zhou, M. Caesar, and P. B. Godfrey. Veriflow: verifying network-wide invariants in real time. In Proceedings of NSDI, 2013.
-
(2013)
Proceedings of NSDI
-
-
Khurshid, A.1
Zou, X.2
Zhou, W.3
Caesar, M.4
Godfrey, P. B.5
-
5
-
-
85076669711
-
Composing software-defined networks
-
C. Monsanto, J. Reich, N. Foster, J. Rexford, and D. Walker. Composing software-defined networks. In Proceedings of NSDI, 2013.
-
(2013)
Proceedings of NSDI
-
-
Monsanto, C.1
Reich, J.2
Foster, N.3
Rexford, J.4
Walker, D.5
-
6
-
-
84866518191
-
A security enforcement kernel for openflow networks
-
P. Porras, S. Shin, V. Yegneswaran, M. Fong, M. Tyson, and G. Gu. A security enforcement kernel for openflow networks. In Proceedings of HotSDN, 2012.
-
(2012)
Proceedings of HotSDN
-
-
Porras, P.1
Shin, S.2
Yegneswaran, V.3
Fong, M.4
Tyson, M.5
Gu, G.6
-
7
-
-
84883669718
-
Flexam: Flexible sampling extension for monitoring and security applications in openflow
-
S. Shirali-Shahreza and Y. Ganjali. Flexam: Flexible sampling extension for monitoring and security applications in openflow. In Proceedings of HotSDN, 2013.
-
(2013)
Proceedings of HotSDN
-
-
Shirali-Shahreza, S.1
Ganjali, Y.2
-
8
-
-
84883727735
-
Protocol oblivious forwarding: Unleash the power of sdn through a future-proof forwarding plane
-
H. Song. Protocol oblivious forwarding: Unleash the power of sdn through a future-proof forwarding plane. In Proceedings of HotSDN, 2013.
-
(2013)
Proceedings of HotSDN
-
-
Song, H.1
-
9
-
-
33751028760
-
Fireman: A toolkit for firewall modeling and analysis
-
L. Yuan, H. Chen, J. Mai, C. Chuah, Z. Su, P. Mohapatra, and C. Davis. Fireman: A toolkit for firewall modeling and analysis. In Proceedings of IEEE S&P, 2006.
-
(2006)
Proceedings of IEEE S&P
-
-
Yuan, L.1
Chen, H.2
Mai, J.3
Chuah, C.4
Su, Z.5
Mohapatra, P.6
Davis, C.7
|