Triệu Quang Phong. SOME ANALYSIS OF SECURITY MODEL FOR KEY EXCHANGE PROTOCOL. JMST [Internet]. 2020 Dec. 15 [cited 2024 Apr. 24];(csce4):60-71. Available from: https://online.jmst.info/index.php/jmst/article/view/327