TY - GEN
T1 - Formal approaches to location management in mobile communications
AU - Kang, Juanhua
AU - Li, Qin
AU - Zhu, Huibiao
AU - Wu, Wenjuan
PY - 2010
Y1 - 2010
N2 - One characteristic of mobile communications is the location management of mobile devices. If the location of one device changed, the base station will update its location information in time to keep the device still in the range of signal cover. Particularly, if the location changes during a call, a handover process is needed. In this paper, a formal model based on pi calculus was used to describe the mobile communication system. Two properties concerned by users are proposed and given formal description. By analyzing the model's behavior caused by a valid location change, we proof that it satisfies these properties.
AB - One characteristic of mobile communications is the location management of mobile devices. If the location of one device changed, the base station will update its location information in time to keep the device still in the range of signal cover. Particularly, if the location changes during a call, a handover process is needed. In this paper, a formal model based on pi calculus was used to describe the mobile communication system. Two properties concerned by users are proposed and given formal description. By analyzing the model's behavior caused by a valid location change, we proof that it satisfies these properties.
UR - https://www.scopus.com/pages/publications/77949641791
U2 - 10.1007/978-3-642-11659-9_27
DO - 10.1007/978-3-642-11659-9_27
M3 - 会议稿件
AN - SCOPUS:77949641791
SN - 3642116582
SN - 9783642116582
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 243
EP - 254
BT - Distributed Computing and Internet Technology - 6th International Conference, ICDCIT 2010, Proceedings
T2 - 6th International Conference on Distributed Computing and Internet Technology, ICDCIT 2010
Y2 - 15 February 2010 through 17 February 2010
ER -