New method of verifying cryptographic protocols  based on the process model

A.  M.  Mironov

Paper 2020/1474

New method of verifying cryptographic protocols based on the process model

A. M. Mironov

Abstract

A cryptographic protocol (CP) is a distributed algorithm designed to provide a secure communication in an insecure environment. CPs are used, for example, in electronic payments, electronic voting procedures, database access systems, etc. Errors in the CPs can lead to great financial and social damage, therefore it is necessary to use mathematical methods to justify the correctness and safety of the CPs. In this paper, a new mathematical model of a CP is introduced, which allows one to describe both the CPs and their properties. It is shown how, on the basis of this model, it is possible to solve the problems of verification of CPs.

Metadata

Available format(s): PDF
Category: Cryptographic protocols
Publication info: Preprint.
Keywords: cryptographic protocol process model verification
Contact author(s): amironov66 @ gmail com
History: 2020-11-24: received
Short URL: https://ia.cr/2020/1474
License: CC BY

BibTeX

@misc{cryptoeprint:2020/1474,
      author = {A.  M.  Mironov},
      title = {New method of verifying cryptographic protocols  based on the process model},
      howpublished = {Cryptology ePrint Archive, Paper 2020/1474},
      year = {2020},
      note = {\url{https://eprint.iacr.org/2020/1474}},
      url = {https://eprint.iacr.org/2020/1474}
}