Triệu Quang Phong. “SOME ANALYSIS OF SECURITY MODEL FOR KEY EXCHANGE PROTOCOL”. Journal of Military Science and Technology, no. csce4, Dec. 2020, pp. 60-71, https://online.jmst.info/index.php/jmst/article/view/327.