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...

Full description

Bibliographic Details
Main Authors: Khosrow Ramezani, Elankayer Sithirasenan, Kaile Su
Format: Article
Language:English
Published: IEEE 2016-01-01
Series:IEEE Access
Subjects:
Heterogeneous networks
vertical Handover
formal verification
security verification
casper
Online Access:https://ieeexplore.ieee.org/document/7378828/

Internet

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

Similar Items