Fermilab Computing Division

Uncertainty-Aware Network Verification in Software-Defined Networks

Full Title: Uncertainty-Aware Network Verification in Software-Defined Networks
Date & Time: 17 Aug 2016 at 13:00
Event Location: PPD/ Hornets Nest-WH8X- Wilson Hall 8th fl Crossover
Event Topic(s): Computing Techniques Seminar
Event Moderator(s):
Event Info: Speaker:
Kevin Jin, Assistant Professor, Illinois Institute of Technology

Abstract:
The increasingly complex, large-scale nature of networks makes it difficult for network architects, security officers, and operators to understand their own networks' behavior. Existing tools that verify the network-layer state often operate offline at timescales of seconds to hours, and thus are unable to detect faults as they arise. As the network state keeps evolving, is it possible (1) to check network-wide invariants in real time and (2) to ensure that network policy remains consistent during state transitions?

In this work, we propose the Customizable Consistency Generator (CCG), an efficient and generic framework to verify network-wide invariant violations and support customizable consistency policies during network updates.

CCG is a layer between a software-defined networking (SDN) controller and network devices and performs dynamic online verification as each forwarding rule is inserted, modified or deleted. CCG effectively reduces the task of synthesizing an update plan under the constraint of a given consistency policy to a verification problem, by checking whether an update can safely be installed in the network at a particular time, and greedily processing network state transitions to minimize transition delay. Mininet and physical testbed evaluations demonstrate CCG's capability to achieve consistency with zero switch memory overhead and up to a 3X delay reduction compared to previous solutions.

Bio:
Kevin Jin is an Assistant Professor in the Computer Science Department at the Illinois Institute of Technology. He obtained his Ph.D. in Electrical and Computer Engineering from the University of Illinois at Urbana-Champaign. His research interests include simulation modeling and analysis, software-defined networking, cyber-security, and trustworthy cyber-physical critical infrastructures. He received the best paper awards at the ACM SIGSIM Conference on Principles of Advanced and Distributed Simulation (PADS) in 2012 and 2015.

No talks in agenda


DocDB Home ]  [ Search ] [ Authors ] [ Events ] [ Topics ]

DocDB Version 8.7.23, contact Document Database Administrators
Execution time: 0 wallclock secs ( 0.23 usr + 0.04 sys = 0.27 CPU)