scholarly journals A New Enhanced Authentication Mechanism Using Session Key Agreement Protocol

2018 ◽  
Vol 18 (4) ◽  
pp. 61-74 ◽  
Author(s):  
S. Usha ◽  
S. Kuppuswami ◽  
M. Karthik
Keyword(s):  
Information Security ◽  
Key Agreement ◽  
Cryptographic Protocols ◽  
Personal Privacy ◽  
Session Key ◽  
Driving License ◽  
Key Agreement Protocol ◽  
Authentication Mechanism ◽  
Session Key Agreement ◽  
Security Properties

Abstract Cryptographic protocols are the backbone of information security. Unfortunately the security of several important components of these protocols can be neglected. This causes violation of personal privacy and threats to democracy. Integration of biometrics with cryptography can overcome this problem. In this paper an enhanced session key agreement protocol which uses the data derived from iris signature is suggested to improve the security of biometric based applications like e-Passport, e-Driving license, etc. The authenticity and security properties of the proposed protocol are analyzed using ProVerif tool and demonstrate it satisfies the intended properties.

A Secure Two-Factor Remote User Authentication and Session Key Agreement Scheme

2016 ◽  
Vol 12 (2) ◽  
pp. 62-79 ◽  
Author(s):  
Preeti Chandrakar ◽  
Hari Om
Keyword(s):  
Key Agreement ◽  
User Authentication ◽  
Mutual Authentication ◽  
Security Analysis ◽  
Session Key ◽  
Key Agreement Protocol ◽  
Remote User Authentication ◽  
Session Key Agreement ◽  
Man In The Middle ◽  
Remote User

In this article, the authors have proposed a secure two-factor remote user authentication and session key agreement protocol. As they have shown in the presented scheme, is precise and secure according to both formal and informal security analysis. For formal security analysis, they have applied BAN (Burrows-Abadi-Needham) logic which certifies that the presented scheme provides the amenity of mutual authentication and session key agreement safely. The informal security verification has shown that the proposed scheme is more vigorous against various sort of cruel threats. Moreover, the authors have simulated the presented scheme using broadly accepted AVISPA tool, whose simulation results make sure that the protocol is not dangerous from active and passive attacks together with replay and man-in-the-middle attacks. In addition, the performance evaluation and the security comparison have revealed that the presented scheme gives strong security as well as better complexity in the context of smart card memory requirement, communication cost and computation cost.

Formal Analysis and Verification of Embedded SIM Session Key Agreement Protocol

2021 ◽  
Author(s):  
Zhonglin Ding ◽  
Yang Hu ◽  
Wei Luo ◽  
Zhongming Huang ◽  
Jintao Xue ◽  
...  
Keyword(s):  
Key Agreement ◽  
Formal Analysis ◽  
Session Key ◽  
Key Agreement Protocol ◽  
Session Key Agreement

scholarly journals A Lightweight Secure User Authentication and Key Agreement Protocol for Wireless Sensor Networks

2019 ◽  
Vol 2019 ◽  
pp. 1-17 ◽  
Author(s):  
Jiaqing Mo ◽  
Hang Chen
Keyword(s):  
Wireless Sensor Networks ◽  
Sensor Networks ◽  
Secure Communication ◽  
Key Agreement ◽  
Wireless Channel ◽  
Wireless Sensor ◽  
Session Key ◽  
Key Agreement Protocol ◽  
Authentication Mechanism ◽  
Three Factor

Wireless sensor networks (WSNs) have great potential for numerous domains of application because of their ability to sense and understand unattended environments. However, a WSN is subject to various attacks due to the openness of the public wireless channel. Therefore, a secure authentication mechanism is vital to enable secure communication within WSNs, and many studies on authentication techniques have been presented to build robust WSNs. Recently, Lu et al. analyzed the security defects of the previous ones and proposed an anonymous three-factor authenticated key agreement protocol for WSNs. However, we found that their protocol is vulnerable to some security weaknesses, such as the offline password guessing attack, known session-specific temporary information attack, and no session key backward secrecy. We propose a lightweight security-improved three-factor authentication scheme for WSNs to overcome the previously stated weaknesses. In addition, the improved scheme is proven to be secure under the random oracle model, and a formal verification is conducted by ProVerif to reveal that the proposal achieves the required security features. Moreover, the theoretical analysis indicates that the proposal can resist known attacks. A comparison with related works demonstrates that the proposed scheme is superior due to its reasonable performance and additional security features.

scholarly journals An Authenticated Key Agreement Protocol Using Isogenies Between Elliptic Curves

2011 ◽  
Vol 6 (2) ◽  
pp. 258 ◽  
Author(s):  
Debiao He ◽  
Jianhua Chen ◽  
Jin Hu
Keyword(s):  
Key Agreement ◽  
Quantum Computer ◽  
Impersonation Attack ◽  
Authenticated Key Agreement ◽  
Session Key ◽  
Quantum Register ◽  
Public Key Cryptosystems ◽  
Key Agreement Protocol ◽  
Security Properties ◽  
Key Compromise Impersonation

All the current public-key cryptosystems will become insecure when size of a quantum register is sufficient. An authenticated key agreement protocol, which is against the attack of quantum computer, is proposed. The proposed protocol can provide the security properties known session key security, forward security, resistance to key-compromise impersonation attack and to unknown key-share attack, key control. We also prove its security in a widely accepted model.

Sign in / Sign up

Export Citation Format

Share Document