Provably-secure (Chinese government) SM2 and simplified SM2 key exchange protocols
Ang Yang1, Junghyun Nam2, Moonseong Kim3
1Information Assurance Research Group, Advanced Computing Research Centre, University of South Australia, Mawson Lakes, SA 5095, Australia.
Abstract:
We revisit the SM2 protocol, which is widely used in Chinese commercial applications and by Chinese government agencies. Although it is by now standard practice for protocol designers to provide security proofs in widely accepted security models in order to assure protocol implementers of their security properties, the SM2 protocol does not have a proof of security. In this paper, we prove the security of the SM2 protocol in the widely accepted indistinguishability-based Bellare-Rogaway model under the elliptic curve discrete logarithm problem (ECDLP) assumption. We also present a simplified and more efficient version of the SM2 protocol with an accompanying security proof.
Related Concept Videos
02:27SN2 Reaction: Mechanism
The presence of the more electronegative halogen in the substrate creates a polarized carbon-halide bond. The halide pulls the electron cloud generating an electrophilic center at the carbon atom. Thus, the carbon atom carries a partial positive charge while the halide has a...
02:26Preparation and Reactions of Sulfides
02:26SN2 Reaction: Transition State
When the nucleophile approaches the electrophilic carbon with its lone pairs, the halide acts as a leaving group and moves away with the electron-pair bonded to the carbon. Dotted partial bonds represent the bonds being formed or broken...
02:45E2 Reaction: Kinetics and Mechanism
03:51Molecular Orbital Theory II
02:14SN2 Reaction: Kinetics
In a chemical reaction, a relationship exists between the concentration of reactants and the rate at which the reaction proceeds. The study to measure this relationship is known as the kinetics of a chemical reaction. Kinetic studies are used to deduce the rate law of a chemical reaction, which provides information about the species involved during the transition state of the rate-determining step. Thus, kinetic studies help to derive the mechanism of a...