Cloud-COVER: Using User Security Attribute Preferences and Propagation Analysis to Prioritise Threats to Systems | IEEE Conference Publication | IEEE Xplore