Modeling the Runtime Integrity of Cloud Servers: A Scoped Invariant Perspective | IEEE Conference Publication | IEEE Xplore