Verifiably-safe software-defined networks for CPS

HiCoNS 2013 - Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems, Part of CPSWeek 2013

Volumn , Issue , 2013, Pages 101-110

  Skowyra, Richard William ^a   Lapets, Andrei ^a   Bestavros, Azer ^a   Kfoury, Assaf ^a  

^a BOSTON UNIVERSITY   (United States)

Author keywords

formal verification; openflow; software defined networks

Indexed keywords

CYBER-PHYSICAL SYSTEMS (CPS); FORMAL VERIFICATIONS; MANUAL INTERVENTION; NETWORK CONVERGENCE; OPENFLOW; SOFTWARE-DEFINED NETWORKINGS; SOFTWARE-DEFINED NETWORKS; SYSTEM IMPLEMENTATION;

EMBEDDED SYSTEMS; ITERATIVE METHODS; NETWORK ARCHITECTURE;

SWITCHING CIRCUITS;

EID: 84877624157     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2461446.2461461     Document Type: Conference Paper

References (22)

1. Openflow components, 2011.
2. Open networking foundation members, 2012.
3. A. Andoni, D. Daniliuc, S. Khurshid, and D. Marinov. Evaluating the "small scope hypothesis". Unpublished, 2003.
4. A. W. Appel. Modern Compiler Implementation in C: Basic Techniques. Cambridge University Press, New York, NY, USA, 1997.
5. C. Baier. On algorithmic verification methods for probabilistic systems. Habilitation thesis, Fakultät für Mathematik & Informatik, Universität Mannheim, 1998.
6. S. Berezin, E. Clarke, A. Biere, and Y. Zhu. Verification of out-of-order processor designs using model checking and a light-weight completion function. Form. Methods Syst. Des., 20(2):159-186, Mar. 2002. (Pubitemid 34265802)
7. B. Blanchet. Proverif automatic cryptographic protocol verifier user manual. CNRS, Departement dInformatique, Ecole Normale Superieure, Paris, 2005.
8. Z. Cai, A. Cox, and T. Maestro. A system for scalable openflow control. Technical report, Technical Report TR10-08, Rice University, 2010.
9. M. Canini, D. Venzano, P. Peresini, D. Kostic, and J. Rexford. A NICE way to test OpenFlow applications. In NSDI, 2012.
10. S. Das, G. Parulkar, N. McKeown, P. Singh, D. Getachew, and L. Ong. Packet and circuit network convergence with openflow. In Optical Fiber Communication (OFC), collocated National Fiber Optic Engineers Conference, 2010 Conference on (OFC/NFOEC), pages 1-3. IEEE, 2010.
11. P. Dely, A. Kassler, and N. Bayer. Openflow for wireless mesh networks. In Computer Communications and Networks (ICCCN), 2011 Proceedings of 20th International Conference on, pages 1-6. IEEE, 2011.
12. E. Dijkstra. Guarded commands, nondeterminacy and formal derivation of programs. Communications of the ACM, 18(8):453-457, 1975.
13. V. D'Silva, D. Kroening, and G. Weissenbacher. A survey of automated techniques for formal software verification. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, 27(7):1165-1178, 2008.
14. D. Erickson. Beacon, 2012.
15. N. Foster, R. Harrison, and M. Freedman. Frenetic: A network programming language. ACM SIGPLAN Notices, 46(9):279-291, 2011.
16. N. Gude, T. Koponen, J. Pettit, B. Pfaff, M. Casado, N. McKeown, and S. Shenker. Nox: towards an operating system for networks. ACM SIGCOMM Computer Communication Review, 38(3):105-110, 2008.
17. G. Holzmann. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Boston, 2005.
18. D. Jackson. Alloy: a lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology, 11(2):256-290, Apr. 2002. (Pubitemid 44159313)
19. N. P. Katta, J. Rexford, and D. Walker. Logic Programming for Software-Defined Networks. In XLDI, number 1, 2012.
20. M. Kwiatkowska, G. Norman, and D. Parker. PRISM 4.0: Verification of Probabilistic Real-time Systems. In 23rd International Conference on Computer Aided Verification, pages 585-591. Springer, 2011.
21. L. Liu, T. Tsuritani, I. Morita, H. Guo, and J. Wu. Openflow-based wavelength path control in transparent optical networks: a proof-of-concept demonstration. In Optical Communication (ECOC), 2011 37th European Conference and Exhibition on, pages 1-3. IEEE, 2011.
22. A. Mahmud and R. Rahmani. Exploitation of openflow in wireless sensor networks. In Computer Science and Network Technology (ICCSNT), 2011 International Conference on, volume 1, pages 594-600. IEEE, 2011.