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 p...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.展开更多
One of the issues of mobility management in a low Earth orbit (LEO) satellite network is the high-frequency location binding update initiated by mobile nodes (MNs).To solve this problem,we propose a location managemen...One of the issues of mobility management in a low Earth orbit (LEO) satellite network is the high-frequency location binding update initiated by mobile nodes (MNs).To solve this problem,we propose a location management scheme based on dual location area (LA) in an IP/LEO satellite network.The proposed scheme uses two kinds of LA,the fixed Earth station LA and satellite LA,to manage the location of the MNs together.MNs operate the binding update procedures only when they are moving out of both of the two LAs last registered.Geographical location information of MN is used in the binding update procedures,so that the network can page the idle MNs near their last registered location first,to enhance the probability of paging success.A detailed description of the implementation of the scheme is provided.Mathematical analysis shows that the proposed scheme reduces the location management cost and minimizes the influences of the distance between MN and its home agent.Paging cost is also reduced by introducing geographical location information in the binding update procedures.展开更多
基金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.
基金Project (No.61032003) supported by the National Natural Science Foundation of China
文摘One of the issues of mobility management in a low Earth orbit (LEO) satellite network is the high-frequency location binding update initiated by mobile nodes (MNs).To solve this problem,we propose a location management scheme based on dual location area (LA) in an IP/LEO satellite network.The proposed scheme uses two kinds of LA,the fixed Earth station LA and satellite LA,to manage the location of the MNs together.MNs operate the binding update procedures only when they are moving out of both of the two LAs last registered.Geographical location information of MN is used in the binding update procedures,so that the network can page the idle MNs near their last registered location first,to enhance the probability of paging success.A detailed description of the implementation of the scheme is provided.Mathematical analysis shows that the proposed scheme reduces the location management cost and minimizes the influences of the distance between MN and its home agent.Paging cost is also reduced by introducing geographical location information in the binding update procedures.