Login / Signup
A security policy model transformation and verification approach for software defined networking.
Yunfei Meng
Zhiqiu Huang
Guohua Shen
Changbo Ke
Published in:
Comput. Secur. (2021)
Keyphrases
</>
security management
database systems
software systems
model checking
security policies