Evaluating Security Properties of Architectures in Unpredictable Environments: A Case for Cloud | IEEE Conference Publication | IEEE Xplore