Cryptographic Protocols (CP) are distributed algorithms intended for secure communication in an insecure environment. They are used, for example, in electronic payments, electronic voting procedures, systems of confidential data processing, etc. Errors in CPs can bring to great financial and social damage, therefore it is necessary to use mathematical methods to substantiate the correctness and safety of CPs. In this paper, a distributed process model of CPs is presented, which allows one to formally describe CPs and their properties. It is shown how to solve the problems of verification of CPs on the base of this model.
翻译：加密协议(CP)是用于在不安全环境中进行安全通信的分布式算法,用于电子支付、电子投票程序、保密数据处理系统等。氯化石蜡中的错误可能造成巨大的财政和社会损害,因此,有必要使用数学方法来证实氯化石蜡的正确性和安全性。本文介绍了一种分布式氯化石蜡过程模型,使人们能够正式描述氯化石蜡及其特性,并展示了如何以这一模型为基础解决氯化石蜡的核查问题。
相关内容
微信扫码咨询专知VIP会员