The rapid development of quantum computing brings great challenges to public key cryptosystems. The braid group, which is non-commutative, provides a new platform of constructing cryptographic protocols.
量子计算的快速发展给目前的公钥密码体制带来严重威胁，非交换的辫群为构造安全密码协议提供了新平台。
参考来源 - 辫群上的可转换认证加密方案We designed a tool which can satisfied much more cryptographic protocols for the automated proof.
本文在前人工作的基础上,设计了一个适用于更多密码协议的安全性证明的自动化证明工具。
参考来源 - 标准模型下ElGamal加密体制的自动化安全性证明In this dissertation we present a general,extensible methodology that examines cryptographic protocols.
在本论文中我们提出了一种通用的，可扩展的分析和检查加密协议的方法。
参考来源 - 加密协议的一种分析方法·2,447,543篇论文数据，部分数据来源于NoteExpress
We present a model of computation for cryptographic protocols.
我们介绍了一个密码协议的计算模型。
A very important factor of network security is cryptographic protocols.
网络安全中一个非常重要的因素就是密码协议。
So the design and analysis of cryptographic protocols are the troubles of information security.
因此密码协议设计和密码协议分析是信息安全领域的难题。
应用推荐