Zhenju Zhao

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

Jianhua Peng, Feng Liu, Zhenju Zhao, Danqing Huang, Rui Xue
ASM-SPV: A Model Checker for Security Protocols. IIH-MSP (2010)
Danqing Huang, Rui Xue, Feng Liu, Jianhua Peng, Zhenju Zhao, Dongyao Ji
Formal Verification of HMQV Using ASM-SPV. IIH-MSP (2010)