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]
@inproceedings{LimBYL07,
title = {A Secure Handover Protocol Design in Wireless Networks with Formal Verification},
author = {Sun-Hee Lim and Ki-Seok Bang and Okyeon Yi and Jongin Lim},
year = {2007},
doi = {10.1007/978-3-540-72697-5_6},
url = {http://dx.doi.org/10.1007/978-3-540-72697-5_6},
tags = {protocol, design},
researchr = {https://researchr.org/publication/LimBYL07},
cites = {0},
citedby = {0},
pages = {67-78},
booktitle = {Wired/Wireless Internet Communications, 5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007, Proceedings},
editor = {Fernando Boavida and Edmundo Monteiro and Saverio Mascolo and Yevgeni Koucheryavy},
volume = {4517},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-72694-4},
}