A Secure Handover Protocol Design in Wireless Networks with Formal Verification.
Sun-Hee LimKi-Seok BangOkyeon YiJongin LimPublished in: WWIC (2007)
Keyphrases
- wireless networks
- formal verification
- mobile ipv
- cryptographic protocols
- base station
- wireless communication
- model checking
- mobile networks
- model checker
- ad hoc networks
- medium access control
- multi hop
- low bandwidth
- wired networks
- link layer
- cross layer
- wireless mesh networks
- wifi
- mobile computing
- security protocols
- key management
- mac protocol
- mobile nodes
- multimedia