{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T14:05:17Z","timestamp":1725545117888},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642116582"},{"type":"electronic","value":"9783642116599"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11659-9_27","type":"book-chapter","created":{"date-parts":[[2010,2,8]],"date-time":"2010-02-08T02:50:23Z","timestamp":1265597423000},"page":"243-254","source":"Crossref","is-referenced-by-count":1,"title":["Formal Approaches to Location Management in Mobile Communications"],"prefix":"10.1007","author":[{"given":"Juanhua","family":"Kang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qin","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huibiao","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenjuan","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","doi-asserted-by":"crossref","unstructured":"Aura, T., Roe, M.: Security of internet location management. In: Proc. 18th Annual Computer Security Applications Conference, pp. 78\u201387. Press (2002)","DOI":"10.1109\/CSAC.2002.1176281"},{"key":"27_CR2","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/1103576.1103583","volume-title":"FMSE 2005: Formal Methods in Security Engineering","author":"A. Chaudhuri","year":"2005","unstructured":"Chaudhuri, A., Abadi, M.: Formal security analysis of basic network-attached storage. In: FMSE 2005: Formal Methods in Security Engineering, pp. 43\u201352. ACM, New York (2005)"},{"issue":"8","key":"27_CR3","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Communications of the ACM\u00a021(8), 666\u2013677 (1978)","journal-title":"Communications of the ACM"},{"key":"27_CR4","unstructured":"Lee, J.Y., John, I. I.: On modeling real-time mobile processes. In: Proceedings of the twenty-fifth Australasian Conference on Computer science, pp. 139\u2013147. Australian Computer Science Communications (2002)"},{"key":"27_CR5","first-page":"75","volume-title":"An inconsistency free formalization of b\/s architecture","author":"Q. Li","year":"2007","unstructured":"Li, Q., Zhu, H., He, J.: An inconsistency free formalization of b\/s architecture, pp. 75\u201388. IEEE Computer Society, Los Alamitos (2007)"},{"key":"27_CR6","volume-title":"A Calculus of Communication Systems","author":"R. Milner","year":"1989","unstructured":"Milner, R.: A Calculus of Communication Systems. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"27_CR7","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall International Series in Computer Science (1990)"},{"key":"27_CR8","volume-title":"Communication and Mobile System: \u03c0-calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communication and Mobile System: \u03c0-calculus. Cambridge University Press, Cambridge (1999)"},{"key":"27_CR9","volume-title":"The GSM System for Mobile Communications","author":"M. Mouly","year":"1992","unstructured":"Mouly, M., Pautet, M.-B.: The GSM System for Mobile Communications. Cambridge University Press, Cambridge (1992)"},{"key":"27_CR10","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1007\/BF01211473","volume":"4","author":"F. Orava","year":"1992","unstructured":"Orava, F., Parrow, J.: An algebraic verification of a mobile network. Formal Aspects of Computing\u00a04, 497\u2013543 (1992)","journal-title":"Formal Aspects of Computing"},{"key":"27_CR11","volume-title":"Modelling and Analysis of Security Protocols","author":"M. Goldsmith","year":"2001","unstructured":"Goldsmith, M., Lowe, G., Ryan, P., Schneider, S., Roscoe, B.: Modelling and Analysis of Security Protocols. Addison-Wesley, Reading (2001)"},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"Chew, P.H., Yeo, B.S., kuan, D.: Sensitivity study of location management area partitioning in cellular communication systems. Computer Networks (2007)","DOI":"10.1016\/j.comnet.2006.08.016"},{"key":"27_CR13","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1023\/A:1020286531951","volume":"22","author":"J.H. Sarker","year":"2002","unstructured":"Sarker, J.H., Halme, S.J.: Optimizing the use of random access channels in gsm-gprs. Wireless personal communications\u00a022, 387\u2013408 (2002)","journal-title":"Wireless personal communications"},{"key":"27_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1007\/3-540-58179-0_73","volume-title":"Computer Aided Verification","author":"B. Victor","year":"1994","unstructured":"Victor, B., Moller, F.: The mobility workbench - a tool for the \u03c0-calculus. In: Dill, D.L. (ed.) CAV 1994. LNCS, vol.\u00a0818, pp. 428\u2013440. Springer, Heidelberg (1994)"},{"key":"27_CR15","first-page":"366","volume-title":"Analysis for active network security based on \u03c0-calculus model","author":"Z. Xia","year":"2003","unstructured":"Xia, Z., Zhong, Y., Zhang, S.: Analysis for active network security based on \u03c0-calculus model, pp. 366\u2013371. IEEE Computer Society, Los Alamitos (2003)"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing and Internet Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11659-9_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,25]],"date-time":"2019-01-25T12:13:07Z","timestamp":1548418387000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11659-9_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642116582","9783642116599"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11659-9_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}