A formally verified AKA protocol for vertical handover in heterogeneous environments using Casper/FDR.
Mahdi AiashGlenford E. MappAboubaker LasebaeRaphael Chung-Wei PhanJonathan LooPublished in: EURASIP J. Wirel. Commun. Netw. (2012)
Keyphrases
- heterogeneous environments
- mobile ipv
- mobility management
- web services
- highly distributed
- lightweight
- wireless access networks
- cryptographic protocols
- false discovery rate
- energy efficient
- heterogeneous networks
- mobile networks
- mobile users
- wireless sensor networks
- mobile communication
- wireless lan
- security protocols
- data dissemination
- application layer
- base station
- software engineering
- digital libraries
- multi agent