论文信息 - A Verification Method of SDN Firewall Applications - 字舞流文

A Verification Method of SDN Firewall Applications

Myung-Ki Shin | Jin-Young Choi | Inhye Kang | Miyoung Kang | Hee-Hwan Kwak | So Jin Ahn | Jin-Young Choi | Hee-Hwan Kwak | M. Shin | Miyoung Kang | S. Ahn | Inhye Kang

[1] David Walker,et al. A compiler and run-time system for network programming languages , 2012, POPL '12.

[2] Marco Canini,et al. A NICE Way to Test OpenFlow Applications , 2012, NSDI.

[3] Myung-Ki Shin,et al. Formal Modeling and Verification of SDN-OpenFlow , 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.

[4] Duncan Clarke,et al. A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems , 1998, Real-Time Systems.

[5] Edmund M. Clarke,et al. Formal Methods: State of the Art and Future Directions Working Group Members , 1996 .

[6] Nate Foster,et al. NetKAT: semantic foundations for networks , 2014, POPL.

[7] Insup Lee,et al. A process algebraic approach to the specification and analysis of resource-bound real-time systems , 1994, Proc. IEEE.

[8] George Varghese,et al. Header Space Analysis: Static Checking for Networks , 2012, NSDI.

[9] Petr Kuznetsov,et al. A distributed and robust SDN control plane for transactional network updates , 2015, 2015 IEEE Conference on Computer Communications (INFOCOM).

[10] Insup Lee,et al. Symbolic schedulability analysis of real-time systems , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[11] David Walker,et al. Abstractions for network update , 2012, SIGCOMM '12.

[12] David Walker,et al. Frenetic: a high-level language for OpenFlow networks , 2010, PRESTO '10.