CRYPTOGRAPHIC PROTOCOL ZERO-KNOWLEDGE PROOF ON ELLIPTIC CURVES USING RANDOM SESSION KEYS AND MESSAGES

Abstract

Proposed cryptographic protocol with zero-knowledge proof on the basis of the mathematical apparatus of elliptic curves using random session keys and messages, allowing to establish the truth of allegation and does not convey any additional information about the approval. The completeness and correctness of the protocol, an example of calculation is given, model validation and verification of the protocol are performed. Software verification of the cryptographic protocol was performed using the software modules On the Fly Model Checker and Constraint Logic based Attack Searcher. To validation the cryptographic protocol for resistance to intruder attacks was used the Security Protocol Animator package for AVISPA. The security of the proposed cryptographic protocol is based on the difficulty of solving the elliptic curve discrete logarithm problem.