Formal Security Analysis of EAP-ERP Using Casper

Formal Security Analysis of EAP-ERP Using Casper

Future wireless networks will exploit a variety of wireless technologies to provide ubiquities connectivity to mobile devices in the form of cellular, Wireless Local Area Networks, and femtocells. Inevitably, future wireless networks will be diverse in nature, employing a number of different techniq...

Fuld beskrivelse

Bibliografiske detaljer
Main Authors: Khosrow Ramezani, Elankayer Sithirasenan, Kaile Su
Format: Article
Sprog:English
Udgivet: IEEE 2016-01-01
Serier:IEEE Access
Fag:
Heterogeneous networks
vertical Handover
formal verification
security verification
casper
Online adgang:https://ieeexplore.ieee.org/document/7378828/

Internet

https://ieeexplore.ieee.org/document/7378828/

Lignende værker