[IEEE 2010 Sixth International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP) - Darmstadt, Germany (2010.10.15-2010.10.17)] 2010 Sixth International Conference on Intelligent Information Hiding and Multimedia Signal Processing - Formal Verification of HMQV Using ASM-SPV
Huang, Danqing, Xue, Rui, Liu, Feng, Peng, Jianhua, Zhao, Zhenju, Ji, DongyaoYear:
2010
Language:
english
DOI:
10.1109/iihmsp.2010.124
File:
PDF, 204 KB
english, 2010