Triệu Quang Phong. SOME ANALYSIS OF SECURITY MODEL FOR KEY EXCHANGE PROTOCOL. J. Mil. Sci. Technol. [Internet]. 2020 Dec. 15 [cited 2026 Mar. 12];(csce4):60-71. Available from: https://jmst.mod.gov.vn/index.php/jmst/article/view/327