2PAKEP: Provably Secure and Efficient Two-Party Authenticated Key Exchange Protocol for Mobile Environment

2PAKEP: Provably Secure and Efficient Two-Party Authenticated Key Exchange Protocol for Mobile Environment

With the increasing use of mobile devices, a secure communication and key exchange become the significant security issues in mobile environments. However, because of open network environments, mobile user can be vulnerable to various attacks. Therefore, the numerous authentication and key exchange s...

Full description

Bibliographic Details
Main Authors: Kisung Park, Youngho Park, Yohan Park, Ashok Kumar Das
Format: Article
Language:English
Published: IEEE 2018-01-01
Series:IEEE Access
Subjects:
Mobile environment
authentication
key exchange
BAN logic
AVISPA
formal security
Online Access:https://ieeexplore.ieee.org/document/8372452/

Internet

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

Similar Items