Architectural Runtime Models for Privacy Checks of Cloud Applications | IEEE Conference Publication | IEEE Xplore