Revisiting a Proof of Security for the SM2 Key Exchange Protocol. - Zhang, Qianying; Wang, Yuting; Zhao, Shijun (Information, 2026)