VeriFlow: verifying network-wide invariants in real time.

Ahmed Khurshid Wenxuan Zhou Matthew Caesar Brighten Godfrey

Published in: HotSDN@SIGCOMM (2012)

Keyphrases

real time
peer to peer
network structure
network parameters
wide range
network size
network model
network design
high speed
vision system
complex networks
communication networks
low latency
network architecture
computer networks
network management
link prediction
anomaly detection
data sets