External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Kunding Fang, Xiaohong Li, Jianye Hao, Zhiyong Feng. Formal Modeling and Verification of Security Protocols on Cloud Computing Systems Based on UML 2.3. In 2016 IEEE Trustcom/BigDataSE/ISPA, Tianjin, China, August 23-26, 2016. pages 852-859, IEEE, 2016. [doi]

Abstract

Abstract is missing.

runs on