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]