@misc{indiciae9da6c1045c8a,
  title = {An Automated Security Analysis Framework and Implementation for Cloud},
  author = {Hootan Alavizadeh and Hooman Alavizadeh and Dong Seong Kim and Julian Jang-Jaccard and Masood Niazi Torshiz},
  year = {2019},
  url = {https://arxiv.org/abs/1904.01758},
  note = {Source identifier: 1904.01758}
}