MASAT: Model-based automated security assessment tool for cloud computing | IEEE Conference Publication | IEEE Xplore