PROOF OF CERTIFICATELESS MIP REGISTRATION PROTOCOL BASED ON PCL  

作　　者：Zhang Manjun Pei Changxing 

机构地区：[1]The State Key Laboratory of lSN, Xidian University, Xi＇an 710071, China [2]Xi＇an University of Posts ＆ Telecommunications, Xi＇an 710121, China

出　　处：《Journal of Electronics(China)》2010年第2期273-278,共6页电子科学学刊（英文版）

基　　金：Supported by the National Natural Science Foundation of China (No.60572147);State Key Laboratory Specific Foundation (ISN090307);the 111 Project (B08038)

摘　　要：Security protocols are the basis of many mobile communication systems,thus it is important to ensure protocol property correct. Using Protocol Composition Logic (PCL),this paper proves a Mobile IP (MIP) registration protocol that is based on certificateless public key signature without pairing between home agent and foreign agent,which minimizes the registration time and cost as well as improves the security compared with the identity-based and certificate-based registration protocol. Analysis and proof shows that the proposed protocol provides users security and authentications,moreover,the anonymity property is proved correct.Security protocols are the basis of many mobile communication systems, thus it is important to ensure protocol property correct. Using Protocol Composition Logic （PCL）, this paper proves a Mobile IP （MIP） registration protocol that is based on certificateless public key signature without pairing between home agent and foreign agent, which minimizes the registration time and cost as well as improves the security compared with the identity-based and certificate-based registration protocol. Analysis and proof shows that the proposed protocol provides users security and authentications, moreover, the anonymity property is proved correct.

关 键 词：Mobile IP (MIP) REGISTRATION CERTIFICATELESS Protocol Composition Logic (PCL) 

分 类 号：TN918.1[电子电信—通信与信息系统]