Sun-Hee Lim Ki-Seok Bang Okyeon Yi Jongin Lim A Secure Handover Protocol Design in Wireless Networks with Formal Verification. 67-78 2007 conf/wwic/2007 WWIC http://dx.doi.org/10.1007/978-3-540-72697-5_6 db/conf/wwic/wwic2007.html#LimBYL07