A lightweight packet forwarding verification in SDN using sketch.

Heyu Chang Xiaobing Zhang Nianwen Si Ping Wu

Published in: Comput. Secur. (2024)

Keyphrases

lightweight
packet forwarding
ad hoc networks
quality of service
intermediate nodes
wireless sensor networks
model checking
formal methods
topology control
real time
distributed systems
energy efficiency
mobile ad hoc networks
authentication protocol
development environments
communication infrastructure