OperationCheckpoint: SDN application control

Proceedings - International Conference on Network Protocols, ICNP

Volumn , Issue , 2014, Pages 618-623

  Scott Hayward, Sandra ^a   Kane, Christopher ^a   Sezer, Sakir ^a  

^a QUEEN'S UNIVERSITY BELFAST   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS CONTROL; CONTROLLERS; ENERGY EFFICIENCY; NETWORK PROTOCOLS;

APPLICATION-CONTROL; CONTROL FUNCTIONS; ENERGY-EFFICIENT DESIGN; NETWORK APPLICATIONS; NETWORK STATE; SOFTWARE DEFINED NETWORKING (SDN); THIRD PARTIES; TRUSTED APPLICATIONS;

APPLICATION PROGRAMS;

EID: 84919999193     PISSN: 10921648     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICNP.2014.98     Document Type: Conference Paper

References (15)

1. S. Scott-Hayward, G. O'Callaghan, and S. Sezer, "SDN Security: A Survey, " in IEEE SDN for Future Networks and Services (SDN4FNS), 2013, pp. 1-7
2. Open Networking Foundation." [Online]. Available: https://www.opennetworking.org/
3. D. Kreutz, F. Ramos, and P. Verissimo, "Towards secure and dependable software-defined networks, " in Proceedings of the 2nd ACM SIGCOMM workshop on Hot topics in SDN. ACM, 2013, pp. 55-60
4. M. Canini, D. Venzano, P. Peresini, D. Kostic, and J. Rexford, "A NICE way to test OpenFlow applications, " in Proceedings of the 9th USENIX conference on Networked Systems Design and Implementation, 2012
5. E. Al-Shaer and S. Al-Haj, "FlowChecker: Configuration analysis and verification of federated OpenFlow infrastructures, " in Proceedings of the 3rd ACM workshop on Assurable and usable security configuration. ACM, 2010, pp. 37-44
6. S. Son, S. Shin, V. Yegneswaran, P. Porras, and G. Gu, "Model Checking Invariant Security Properties in OpenFlow." [Online]. Available: http://faculty.cse.tamu.edu/guofei/paper/Flover-ICC13.pdf
7. A. Khurshid, W. Zhou, M. Caesar, and P. Godfrey, "VeriFlow: Verifying network-wide invariants in real time, " ACM SIGCOMM Computer Communication Review, vol. 42, no. 4, pp. 467-472, 2012
8. T. Hinrichs, N. Gude, M. Casado, J. Mitchell, and S. Shenker, "Expressing and enforcing flow-based network security policies, " University of Chicago, Tech.Rep, 2008
9. C. Schlesinger, A. Story, S. Gutz, N. Foster, and D. Walker, "Splendid Isolation: Language-Based Security for Software-Defined Networks, " in Proceedings of the 1st workshop on Hot topics in SDN. ACM, 2012, pp. 79-84
10. N. Foster, R. Harrison, M. J. Freedman, C. Monsanto, J. Rexford, A. Story, and D. Walker, "Frenetic: A network programming language, " ACM SIGPLAN Notices, vol. 46, no. 9, pp. 279-291, 2011
11. P. Porras, S. Shin, V. Yegneswaran, M. Fong, M. Tyson, and G. Gu, "A security enforcement kernel for OpenFlow networks, " in Proceedings of the 1st workshop on Hot topics in SDN. ACM, 2012, pp. 121-126
12. X. Wen, Y. Chen, C. Hu, C. Shi, and Y. Wang, "Towards a secure controller platform for openflow applications, " in Proceedings of the second ACM SIGCOMM workshop on Hot topics in SDN. ACM, 2013, pp. 171-172
13. Security-Enhanced Floodlight." [Online]. Available: 1drv.ms/1k2WDTC
14. Floodlight Controller, Floodlight Documentation, For Developers, Architecture." [Online]. Available: bit.ly/1jLHoxe
15. Open Service Gateway initiative (OSGi)." [Online]. Available: http://www.osgi.org