@inproceedings{300c5b530dab46f0bc6ed32fb756c6f6,
title = "A secure handover protocol design in wireless networks with formal verification",
abstract = "This paper analyses security mechanisms in wireless networks, and designs for secure and efficient protocol for a handover reusing the key materials generated before the handover phase. In order to be sure that our handover protocol does not have any security flaws, we formally validated it using automatic protocol analyzer AVIPSA.",
keywords = "AVISPA, Authentication, Handover, Security, Wireless",
author = "Lim, {Sun Hee} and Bang, {Ki Seok} and Okyeon Yi and Jongin Lim",
year = "2007",
doi = "10.1007/978-3-540-72697-5_6",
language = "English",
isbn = "9783540726944",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "67--78",
booktitle = "Wired/Wireless Internet Communications - 5th International Conference, WWIC 2007, Proceedings",
note = "5th International Conference on Wired/Wireles Internet Communications, WWIC 2007 ; Conference date: 23-05-2007 Through 25-05-2007",
}