Formal Modeling and Verification of Security Protocols on Cloud Computing Systems Based on UML 2.3. - Kunding Fang; Xiaohong Li 001; Jianye Hao; Zhiyong Feng 002 (Trustcom/BigDataSE/ISPA, 2016)