SDN Ro2tkits: A Case Study of Subverting A Closed Source SDN Controller.

Christian Röpke

Published in: Sicherheit (2018)

Keyphrases

process algebra
real time
control system
formal specification
controller design
test bed
optimal control
control theory
adaptive fuzzy
matlab simulation
neural network
dynamic model
pid controller
control law