Towards trusted and efficient SDN topology discovery: A lightweight topology verification scheme.

Xinli Huang Peng Shi Yufei Liu Fei Xu

Published in: Comput. Networks (2020)

Keyphrases

lightweight
communication infrastructure
data mining
knowledge discovery
authentication protocol
development environments
model checking
formal methods