October 23, 2017

Analytics-Enhanced Automated Code Verification for Dependability of Software-Defined Networks

  • Jagadeesan L.
  • Mendiratta V.

Software-defined networking (SDN) is a key emerging technology that enables networks to be programmed and dynamically reconfigured through software-based network applications. This programability also significantly increases the exposure of these networks to software application faults, which can compromise or crash the underlying SDN network. It is thus imperative to detect subtle faulty or malicious behaviors of network applications prior to deployment. Automated code verification based on software model checking provides promise for early identification of such behaviors; however, it faces inherent challenges w.r.t. scalability, soft real-time behaviors, and the need for pre-specified thresholds, that significantly limits its usefulness for verifying SDN networks in practice. We describe an approach that enhances automated verification with machine learning-based analytics to detect and identify faulty or malicious behaviors that can compromise network reliability, performance, and security. A novel aspect of our work is that the analytics algorithms learn on information provided by automated verification, coupled with real-time inputs and outputs, to learn thresholds that can be used in software model checking, and to identify anomalous execution paths of network applications that may compromise the underlying SDN network. We demonstrate our approach with a proof-of-concept case study on the ONOS open-source SDN network operating system, using our customization of the Java Path Finder tool and the application of our machine learning algorithms.

View Original Article

Recent Publications

January 01, 2019

Friendly, appealing or both? Characterising user experience in sponsored search landing pages

  • Bron M.
  • Chute M.
  • Evans H.
  • Lalmas M.
  • Redi M.
  • Silvestri F.

© 2017 International World Wide Web Conference Committee (IW3C2), published under Creative Commons CC BY 4.0 License. Many of today's websites have recognised the importance of mobile friendly pages to keep users engaged and to provide a satisfying user experience. However, next to the experience provided by the sites themselves, ...

January 01, 2019

Analyzing uber's ride-sharing economy

  • Aiello L.
  • Djuric N.
  • Grbovic M.
  • Kooti F.
  • Lerman K.
  • Radosavljevic V.

© 2017 International World Wide Web Conference Committee (IW3C2), published under Creative Commons CC BY 4.0 License. Uber is a popular ride-sharing application that matches people who need a ride (or riders) with drivers who are willing to provide it using their personal vehicles. Despite its growing popularity, there exist ...

January 01, 2019

The paradigm-shift of social spambots: Evidence, theories, and tools for the arms race

  • Cresci S.
  • Petrocchi M.
  • Pietro R.
  • Spognardi A.
  • Tesconi M.

© 2017 International World Wide Web Conference Committee (IW3C2), published under Creative Commons CC BY 4.0 License. Recent studies in social media spam and automation provide anecdotal argumentation of the rise of a new generation of spambots, so-called social spambots. Here, for the first time, we extensively study this novel ...