A formal analysis of authentication protocols for mobile devices in next generation networks.
Mahdi AiashPublished in: Concurr. Comput. Pract. Exp. (2015)
Keyphrases
- ban logic
- formal analysis
- next generation networks
- mobile devices
- location based services
- authentication protocol
- wireless technologies
- mobile phone
- mobile users
- multimedia services
- ip networks
- mobile applications
- mobile learning
- video on demand
- mobile networks
- context aware
- wifi
- quality of service
- agent model
- formal methods
- road network
- smart phones
- smart card
- mobile technologies
- ambient assisted living
- m learning
- wireless communication
- lightweight
- distributed systems