SDN-Guard: Protecting SDN controllers against SDN rootkits.

Dennis Tatang Florian Quinkert Joel Frank Christian Röpke Thorsten Holz

Published in: NFV-SDN (2017)

Keyphrases

process algebra
concurrent systems
real time
databases
neural network
control system
formal specification
formal methods
data mining
case study
database systems
search algorithm
hidden markov models