Triệu Quang Phong 2020. SOME ANALYSIS OF SECURITY MODEL FOR KEY EXCHANGE PROTOCOL. Journal of Military Science and Technology. csce4 (Dec. 2020), 60–71.