Formal Verification of HMQV Using ASM-SPV. - Danqing Huang; Rui Xue; Feng Liu; Jianhua Peng; Zhenju Zhao; Dongyao Ji (IIH-MSP, 2010)

ASM-SPV: A Model Checker for Security Protocols. - Jianhua Peng; Feng Liu; Zhenju Zhao; Danqing Huang; Rui Xue (IIH-MSP, 2010)