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 proceedingConference 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 languageEnglish
    Title of host publicationWired/Wireless Internet Communications - 5th International Conference, WWIC 2007, Proceedings
    PublisherSpringer Verlag
    Pages67-78
    Number of pages12
    ISBN (Print)9783540726944
    DOIs
    Publication statusPublished - 2007
    Event5th International Conference on Wired/Wireles Internet Communications, WWIC 2007 - Coimbra, Portugal
    Duration: 2007 May 232007 May 25

    Publication series

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

    Other

    Other5th International Conference on Wired/Wireles Internet Communications, WWIC 2007
    Country/TerritoryPortugal
    CityCoimbra
    Period07/5/2307/5/25

    Keywords

    • AVISPA
    • Authentication
    • Handover
    • Security
    • Wireless

    ASJC Scopus subject areas

    • Theoretical Computer Science
    • General Computer Science

    Fingerprint

    Dive into the research topics of 'A secure handover protocol design in wireless networks with formal verification'. Together they form a unique fingerprint.

    Cite this