Design of A Class of Group Registration Protocol and Its BAN Logic Deduction
Jiqing Liu · Jisuanji gongcheng · 2007
MIKEY is a protocol specification for group registration protocol that can be used for real-time multimedia applications.This paper analyzes the key generation,distribution mechanisms of MIKEY,designs a group registration protocol,MIKEY-PKGRP,based on the public-key mode and MIKEY specification.Finally,it analyzes the security of MIKEY-PKGRP with BAN logic deduction.