Applied Mechanics and Materials

Authenticated Session Key Distribution Protocol with Zero-Knowledge

Chungen Xu, Yan Yang, Bennian Dou

Published Dec 6, 2010• 0 citations

Abstract

Authenticated session key distribution protocol is an important cryptographic technique in the secure communication areas. We present a new method for the authenticated exchange of messages in the three-party case, and abandon the idea of authentication which was finished with encryption and decryption in the Bellare-Rogaway model. Instead, the non-interactive zero-knowledge is applied to our protocol. We give an illumination for some important properties of security and depict a feasible idea of provably security with zero-knowledge.

DOI: 10.4028/www.scientific.net/amm.44-47.3190

Related papers

Pairing-Based Two-Party Authenticated Key Agreement Protocol.

Rongxing Lu, Zhenfu Cao, Renwang Su +1 more

Abstract. To achieve secure data communications, two parties should be authenticated by each other and agree on a secret session key by exchanging messages over an insecure channel. In this paper, based on the bilinear pairing, we present a new two-party authenticated key agreement protocol, and use the techniques from provable security to examine the security of our protocol within Bellare-Rogaway model. 1

Jan 1, 20056 citations

An Efficient Three-Party Authenticated Key Exchange Protocol with One-Time Key

Chao Lv, Maode Ma, Hui Li +1 more

Three-party authenticated key exchange protocol (3PAKE) is an important cryptographic technique for secure communication which allows two parties to agree a new secure session key with the help of a trusted server. In this paper, we proposed a new three-party authenticated key exchange protocol which aims to achieve more efficiency with the same security level of other existing 3PAKE protocols. Security analysis and formal verification using AVISPA tools show that the proposed protocol is secure against various known attacks. Comparing with other typical 3PAKE protocols, the proposed protocol is more efficient with less computation complexity.

IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS)Mar 1, 20107 citations

On Session Identifiers in Provably Secure Protocols

Raymond Choo, Colin Boyd, Yvonne Hitchcock +1 more

We examine the role of session identifiers (SIDs) in security proofs for key establishment protocols. After reviewing the practical importance of SIDs we use as a case study the three-party server-based key distribution (3PKD) protocol of Bellare and Rogaway, proven secure in 1995. We show incidentally that the partnership function used in the existing security proof is flawed. There seems to be no way to define a SID for the 3PKD protocol that will preserve the proof of security. A small change to the protocol allows a natural definition for a SID and we prove that the new protocol is secure using this SID to define partnering.

Jan 1, 200414 citations

An Improvement on A Three-Party Authentication Key Exchange Protocol Using Elliptic Curve Cryptography

Zuowen Tan

The authentication key exchange protocol enables communication participants to authenticate each other and agree on the session key over an insecure public network. Recently, a three-party authentication key exchange protocol based on Elliptic curve cryptograph is proposed. In this paper, we improve the three-party encrypted key exchange protocol by bilinear maps. The proposed threeparty authentication key exchange protocol is provable secure under Computational Diffie-Hellman assumptions in the standard model. Furthermore, the novel protocol is more efficient.

Journal of Convergence Information TechnologyJun 30, 201013 citations

New authenticated key agreement protocols

Hassan M. A. Elkamchouchi, Yasmine A. Saleh, Aliaa M. Sary

Key agreement protocols are used to establish common keys between two or more entities. The established key can then be used to assure confidentiality of exchanged messages through encryption. Additionally, authenticated key agreement protocols offer implicit authentication. In this paper, new authenticated key agreement protocols are proposed and their security properties are investigated. We start by examining the two-party case and then develop extensions to three parties as well as extensions to any group of k parties. The proposed protocols try to keep exchanged messages and computations minimal, while offering adequate security guarantees. Finally, we develop a variant of our multi-party key agreement protocol tailored for secure group communications among mobile devices.

International Conference on Computer Engineering & Systems (ICCES)Nov 1, 201112 citations

On Formal Models for Secure Key Exchange.

Victor Shoup

A new formal security model for session key exchange protocols in the public key setting is proposed, and several efficient protocols are analyzed in this model. The relationship between this new model and previously proposed models is explored, and several interesting, subtle distinctions between static and adaptive adversaries are explored. We also give a brief account of anonymous users. 1 Introduction In this paper, we investigate formal models of security for authenticated key exchange protocols in a public key setting where the only trusted party is an off-line certification authority. Our work follows up on that of Bellare, Canetti, and Krawczyk [2], which is grounded in the multi-party simulatability tradition (see, e.g., [1]). This approach seems very attractive, because it formulates security in terms of the service a session key protocol should provide to a higher level protocol, rather than getting mired in the details of session key protocols themselves, many of which ar...

Jan 1, 1999323 citations