TY - RPRT TI - An Automated Security Analysis Framework and Implementation for Cloud AU - Hootan Alavizadeh AU - Hooman Alavizadeh AU - Dong Seong Kim AU - Julian Jang-Jaccard AU - Masood Niazi Torshiz PY - 2019 UR - https://arxiv.org/abs/1904.01758 ID - 1904.01758 ER -