Formal Modeling and Verification of Security Protocols on Cloud Computing Systems Based on UML 2.3 | IEEE Conference Publication | IEEE Xplore