Formal Modeling and Verification of Security Protocols on Cloud Computing Systems Based on UML 2.3.

Kunding Fang, Xiaohong Li, Jianye Hao, Zhiyong Feng

Browse the full TrustCom paper archive.