Quantitative Reasoning about Cloud Security Using Service Level Agreements | IEEE Journals & Magazine | IEEE Xplore