BlockREV: Blockchain-Enabled Multi-Controller Rule Enforcement Verification in SDN.

Ping Li Songtao Guo Jiahui Wu Quanjun Zhao

Published in: Secur. Commun. Networks (2022)

Keyphrases

control system
real time
formal verification
neural network
association rules
model checking
control scheme
access control
closed loop
control algorithm
face verification
robotic manipulator
controller design
rule learning
rule induction
optimal control
fuzzy logic