On the separation between the FHMQV and HMQV protocols. (2017)