{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:20:03Z","timestamp":1742397603366},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540726944"},{"type":"electronic","value":"9783540726975"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72697-5_6","type":"book-chapter","created":{"date-parts":[[2007,6,23]],"date-time":"2007-06-23T13:07:18Z","timestamp":1182604038000},"page":"67-78","source":"Crossref","is-referenced-by-count":8,"title":["A Secure Handover Protocol Design in Wireless Networks with Formal Verification"],"prefix":"10.1007","author":[{"given":"Sun-Hee","family":"Lim","sequence":"first","affiliation":[]},{"given":"Ki-Seok","family":"Bang","sequence":"additional","affiliation":[]},{"given":"Okyeon","family":"Yi","sequence":"additional","affiliation":[]},{"given":"Jongin","family":"Lim","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"IEEE: Part11: Wireless LAN Medium Access Control(MAC) and Physical Layer(PHY) specifications. IEEE Std 802.11i (2004)"},{"key":"6_CR2","unstructured":"IEEE: Part16: Air Interface for Fixed and Mobile Broadband Wireless Access Systems. IEEE Std.802.16e (2006)"},{"key":"6_CR3","unstructured":"IEEE: Port-Based Network Access Control. IEEE Std 802.1x (2004)"},{"key":"6_CR4","unstructured":"RFC 3748, Extensible authentication protocol, EAP (June 2004)"},{"key":"6_CR5","unstructured":"3GPP: 3rd Generation Partnership Project; Technical Specification Group Services and System Aspects; 3G Security, Wireless Local Area Network(WLAN) interworking security. 3GPP TS 33.234 (June 2005)"},{"key":"6_CR6","unstructured":"Prasad, A.R., Wang, H.: A protocol for secure seamless handover. In: Proc. of International Conference on Telecommunications (ICT\u201904), Fortaleza, Brazil, August 1-7 (2004)"},{"key":"6_CR7","unstructured":"Avispa \u2013 a tool for Automated Validation of Internet Security Protocols, http:\/\/www.avispa-project.org"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"973","DOI":"10.1007\/978-3-540-27824-5_127","volume-title":"Telecommunications and Networking - ICT 2004","author":"H. Wang","year":"2004","unstructured":"Wang, H., Prasad, A.R.: Fast authentication for inter-domain handover. In: de Souza, J.N., Dini, P., Lorenz, P. (eds.) ICT 2004. LNCS, vol.\u00a03124, pp. 973\u2013982. Springer, Heidelberg (2004)"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Wang, H., Prasad, A.R., Schoo, P.: Research issues for fast authentication in inter-domain handover. In: Proc. of Wireless World Research Forum (WWRF), Beijing, China (February 2004)","DOI":"10.1007\/978-3-540-27824-5_127"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Wang, H., Prasad, A.R.: Security context transfer in vertical handover. In: Proc. of PIMRC 2003, Beijing, China, September 7-10 (2003)","DOI":"10.1109\/PIMRC.2003.1259248"},{"key":"6_CR11","unstructured":"Bayarou, K.M., Eckert, C., Rohr, S., Prasad, A.R., Schoo, P., Wang, H.: 3G and WLAN interworking: Towards a secure solution for tight coupling. In: Proc. of WPMC 2004, Padova, Italy, September 12-15 (2004)"},{"key":"6_CR12","unstructured":"Georgiades, M., Wang, H., Tafazolli, R.: Security of context transfer in future wireless communications. In: Proc. of Wireless World Research Forum (WWRF), Toronto, Canada, November 4-5 (2004)"},{"key":"6_CR13","unstructured":"Span \u2013 a Security Protocol Animator for AVISPA, http:\/\/www.irisa.fr\/lande\/genet\/span"},{"key":"6_CR14","unstructured":"Lim, S.-H., Yi, O.: A study on EAP-AKA authentication architecture for WiBro wireless network. KICS2005-11-457 (2005)"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Lim, S.-H., Yi, O., Jung, C.-H., Bang, K.-S.: A Fast and Efficient Authentication Protocol for a Seamless Handover between a WLAN and WiBro. In: Publication at IEEE COMmunication System softWAre and MiddlewaRE 2007 (COMSWARE2007), Bangalore, India, Jan. 7-12 (2007)","DOI":"10.1109\/COMSWA.2007.382495"}],"container-title":["Lecture Notes in Computer Science","Wired\/Wireless Internet Communications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72697-5_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:04:13Z","timestamp":1605762253000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72697-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540726944","9783540726975"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72697-5_6","relation":{},"subject":[]}}