@misc{indiciae08931fc5bda8,
  title = {A Security Policy Model Transformation and Verification Approach for Software Defined Networking},
  author = {Yunfei Meng and Zhiqiu Huang and Guohua Shen and Changbo Ke},
  year = {2020},
  url = {https://arxiv.org/abs/2005.13206},
  note = {Source identifier: 2005.13206}
}