Huan Guo Zhang

Modeling and Analysis of Electronic Commerce Protocols Using Colored Petri Nets

Yang Xu, Xiaoyao Xie, Huan Guo Zhang, 2011, J. Softw..

Research on Hardware Security of Embedded System in Cloud Environment

Fan He, Jing Li, Bo Zhao, 2012 .

Modeling and Reasoning about States in Late Launch Based on Horn Clauses

Zheng Dai, Shi Wei Xu, Huan Guo Zhang, 2014 .

Cryptanalysis of a Remote User Authentication Scheme

Huan Guo Zhang, Bang Ju Wang, 2013 .

Research on the Key Technologies of SaaS Information Security

Biao Li, Huan Guo Zhang, Yun Liang Fang, 2014, CIT 2014.