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