Modelling secure cloud systems based on system requirements | IEEE Conference Publication | IEEE Xplore