Zhenju Zhao

According to our database, Zhenju Zhao authored at least 2 papers in 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2010

ASM-SPV: A Model Checker for Security Protocols.

Jianhua Peng, Feng Liu, Zhenju Zhao, Danqing Huang, Rui Xue

Proceedings of the Sixth International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP 2010), 2010

Formal Verification of HMQV Using ASM-SPV.

Danqing Huang, Rui Xue, Feng Liu, Jianhua Peng, Zhenju Zhao, Dongyao Ji

Proceedings of the Sixth International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP 2010), 2010