论文标题
基于过程模型验证加密协议的新方法
New method of verifying cryptographic protocols based on the process model
论文作者
论文摘要
加密协议（CP）是一种分布式算法，旨在在不安全的环境中提供安全的通信。例如，在电子付款，电子投票程序，数据库访问系统等中使用了CPS。CPS中的错误可能会导致巨大的财务和社会损害，因此有必要使用数学方法来证明CPS的正确性和安全性。在本文中，引入了CP的新数学模型，该模型允许人们描述CP及其属性。它显示了如何在该模型的基础上解决CPS验证的问题。
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 base of this model, it is possible to solve the problems of verification of CPs.
