A Systematic Approach to Describing the Source Code of a Cloud Platform with Assured Security | IEEE Conference Publication | IEEE Xplore