Shengli Liu 0001 Kouichi Sakurai Jian Weng 0001 Fangguo Zhang Yunlei Zhao Security Model and Analysis of FHMQV, Revisited. 255-269 2013 Inscrypt https://doi.org/10.1007/978-3-319-12087-4_16 conf/cisc/2013 db/conf/cisc/inscrypt2013.html#LiuSWZZ13