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