Automating the Translation of Cloud Users’ High-Level Security Needs to an Optimal Placement Model in the Cloud Infrastructure | IEEE Journals & Magazine | IEEE Xplore