Formal Analysis of WAPI Authentication and Key Agreement Protocol. - Zhongqi Lv; Hui Li 070; Haisong Ye; Chi Ma; Jingjing Guan (Inscrypt (2), 2024)