A Secure Handover Protocol Design in Wireless Networks with Formal Verification

Sun-Hee Lim, Ki-Seok Bang, Okyeon Yi, Jongin Lim. A Secure Handover Protocol Design in Wireless Networks with Formal Verification. In Fernando Boavida, Edmundo Monteiro, Saverio Mascolo, Yevgeni Koucheryavy, editors, Wired/Wireless Internet Communications, 5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007, Proceedings. Volume 4517 of Lecture Notes in Computer Science, pages 67-78, Springer, 2007. [doi]

Authors

Sun-Hee Lim

This author has not been identified. Look up 'Sun-Hee Lim' in Google

Ki-Seok Bang

This author has not been identified. Look up 'Ki-Seok Bang' in Google

Okyeon Yi

This author has not been identified. Look up 'Okyeon Yi' in Google

Jongin Lim

This author has not been identified. Look up 'Jongin Lim' in Google