Triệu Quang Phong. SOME ANALYSIS OF SECURITY MODEL FOR KEY EXCHANGE PROTOCOL. J. Mil. Sci. Technol. 2020, 60-71.