What packets may come: automata for network monitoring.

Karthikeyan Bhargavan Satish Chandra Peter J. McCann Carl A. Gunter

Published in: POPL (2001)

Keyphrases

network monitoring
ip networks
network management
quality of service
network traffic
mobile networks
network security
monitoring system
communication networks
streaming data
distributed systems
network design
information security
real time
energy consumption
data processing
data streams
real world