Relations among Security Models for Authenticated Key Exchange - Kwon, Jeong Ok; Jeong, Ik Rae (ETRI journal, 2014)
Keywords: compiler; HMQV; KAM; Key establishment; security model; 전자/정보통신공학