Triệu Quang Phong, “SOME ANALYSIS OF SECURITY MODEL FOR KEY EXCHANGE PROTOCOL”, J. Mil. Sci. Technol., no. csce4, pp. 60–71, Dec. 2020.