Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Lecture notes in computer science

On the Design of Provably Secure Identity-Based Authentication and Key Exchange Protocol for Heterogeneous Wireless Access

Jun Jiang, Chen He, Lingge Jiang

Published Jan 1, 2005• 11 citations
Publisher
DOI
10.1007/11534310_102

Related papers

Secure lightweight password authenticated key exchange for heterogeneous wireless sensor networks

Iván Santos‐González, Alexandra Rivero‐García, Mike V. D. Burmester +2 more

Information Systems•Sep 7, 2019•26 citations

Provably secure identity-based authenticated key agreement protocols with malicious private key generators

Hua Guo, Zhoujun Li, Yi Mu +1 more

Information Sciences•Oct 7, 2010•14 citations

Security model and modular design of fair authentication key exchange protocols

Dengguo Feng, Weidong Chen

Science China Information Sciences•Feb 1, 2010•3 citations

Universally composable secure Internet key exchange protocol

Jianfeng Ma

The new Internet key exchange protocol(IKEv2) is analyzed,and it is found that the protocol can not achieve active identity protection to the initiator and has the security flaw of authentication failure in its initial exchange.However,it is necessary to protect the identity information to the initiator under the environment of a wireless access network.In this paper,a novel key exchange protocol for the wireless network based on IKEv2 initial exchange is proposed,which realizes active identity protection to the initiator by the responder explicitly proving his true identity,and achieves successful authentication by reconstructing the authentication payload.With the Universally Composable(UC) security model,this new protocol is analyzed in detail,with the analytical results showing that it affords provably UC security.Performance analysis and simulation results show that the proposed protocol has less computation and communication overhead.

Journal of Xidian University•Jan 1, 2009•0 citations

Provable secure authenticated key exchange protocol under standard model

LI Yi-fa

This paper presents an identity-based authenticated key exchange protocol in the standard model.Protocol design isinspired by bilinear pairings.Strand space knowledge and Game method in provable security are comprehensively used.Thecorrectness of the protocol is analysed and a strict proof is given.The protocol has good forward security and session keynon-hosting.At the same time,through the explicit authentication,it improves the efficiency of the implementation of the pro-tocol.Compared with the protocol in the random oracle model,the protocol has the same computational and communicationefficiencies.

Computer Engineering and Applications Journal•Jan 1, 2011•0 citations

A new identity-based key exchange protocol minimizing computation and communication

Shahrokh Saeednia, Reihaneh Safavi–Naini

Lecture notes in computer science•Jan 1, 1998•8 citations
The new Internet key exchange protocol(IKEv2) is analyzed,and it is found that the protocol can not achieve active identity protection to the initiator and has the security flaw of authentication failure in its initial exchange.However,it is necessary to protect the identity information to the initiator under the environment of a wireless access network.In this paper,a novel key exchange protocol for the wireless network based on IKEv2 initial exchange is proposed,which realizes active identity protection to the initiator by the responder explicitly proving his true identity,and achieves successful authentication by reconstructing the authentication payload.With the Universally Composable(UC) security model,this new protocol is analyzed in detail,with the analytical results showing that it affords provably UC security.Performance analysis and simulation results show that the proposed protocol has less computation and communication overhead.
This paper presents an identity-based authenticated key exchange protocol in the standard model.Protocol design isinspired by bilinear pairings.Strand space knowledge and Game method in provable security are comprehensively used.Thecorrectness of the protocol is analysed and a strict proof is given.The protocol has good forward security and session keynon-hosting.At the same time,through the explicit authentication,it improves the efficiency of the implementation of the pro-tocol.Compared with the protocol in the random oracle model,the protocol has the same computational and communicationefficiencies.