A secure handover protocol design in wireless networks with formal verification

Sun Hee Lim; Ki Seok Bang; Okyeon Yi; Jongin Lim

doi:10.1007/978-3-540-72697-5_6

A secure handover protocol design in wireless networks with formal verification

Sun Hee Lim, Ki Seok Bang, Okyeon Yi, Jongin Lim

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

14 Citations (Scopus)

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.

Original language	English
Title of host publication	Wired/Wireless Internet Communications - 5th International Conference, WWIC 2007, Proceedings
Publisher	Springer Verlag
Pages	67-78
Number of pages	12
ISBN (Print)	9783540726944
DOIs	https://doi.org/10.1007/978-3-540-72697-5_6
Publication status	Published - 2007
Event	5th International Conference on Wired/Wireles Internet Communications, WWIC 2007 - Coimbra, Portugal Duration: 2007 May 23 → 2007 May 25

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4517 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	5th International Conference on Wired/Wireles Internet Communications, WWIC 2007
Country/Territory	Portugal
City	Coimbra
Period	07/5/23 → 07/5/25

Keywords

AVISPA
Authentication
Handover
Security
Wireless

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-540-72697-5_6

Cite this

Lim, S. H., Bang, K. S., Yi, O., & Lim, J. (2007). A secure handover protocol design in wireless networks with formal verification. In Wired/Wireless Internet Communications - 5th International Conference, WWIC 2007, Proceedings (pp. 67-78). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4517 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-540-72697-5_6

A secure handover protocol design in wireless networks with formal verification. / Lim, Sun Hee; Bang, Ki Seok; Yi, Okyeon et al.
Wired/Wireless Internet Communications - 5th International Conference, WWIC 2007, Proceedings. Springer Verlag, 2007. p. 67-78 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4517 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Lim, SH, Bang, KS, Yi, O & Lim, J 2007, A secure handover protocol design in wireless networks with formal verification. in Wired/Wireless Internet Communications - 5th International Conference, WWIC 2007, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4517 LNCS, Springer Verlag, pp. 67-78, 5th International Conference on Wired/Wireles Internet Communications, WWIC 2007, Coimbra, Portugal, 07/5/23. https://doi.org/10.1007/978-3-540-72697-5_6

Lim SH, Bang KS, Yi O, Lim J. A secure handover protocol design in wireless networks with formal verification. In Wired/Wireless Internet Communications - 5th International Conference, WWIC 2007, Proceedings. Springer Verlag. 2007. p. 67-78. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-72697-5_6

Lim, Sun Hee ; Bang, Ki Seok ; Yi, Okyeon et al. / A secure handover protocol design in wireless networks with formal verification. Wired/Wireless Internet Communications - 5th International Conference, WWIC 2007, Proceedings. Springer Verlag, 2007. pp. 67-78 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@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",

}

TY - GEN

T1 - A secure handover protocol design in wireless networks with formal verification

AU - Lim, Sun Hee

AU - Bang, Ki Seok

AU - Yi, Okyeon

AU - Lim, Jongin

PY - 2007

Y1 - 2007

N2 - 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.

AB - 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.

KW - AVISPA

KW - Authentication

KW - Handover

KW - Security

KW - Wireless

UR - http://www.scopus.com/inward/record.url?scp=38049061125&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-72697-5_6

DO - 10.1007/978-3-540-72697-5_6

M3 - Conference contribution

AN - SCOPUS:38049061125

SN - 9783540726944

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 67

EP - 78

BT - Wired/Wireless Internet Communications - 5th International Conference, WWIC 2007, Proceedings

PB - Springer Verlag

T2 - 5th International Conference on Wired/Wireles Internet Communications, WWIC 2007

Y2 - 23 May 2007 through 25 May 2007

ER -

A secure handover protocol design in wireless networks with formal verification

Abstract

Publication series

Other

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this