Cryptology ePrint Archive: Report 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.
Category / Keywords: cryptographic protocols / cryptographic protocol, process model, verification
Date: received 23 Nov 2020, last revised 24 Nov 2020
Contact author: amironov66 at gmail com
Available format(s): PDF | BibTeX Citation
Version: 20201124:113345 (All versions of this report)
Short URL: ia.cr/2020/1474
[ Cryptology ePrint archive ]