查询词典 cryptographic

This paper proposes a belief multisets formalism for analyzing cryptographic protocols, and the formalism is foundationally different from the previous: a participant's beliefs should depend only on the sent or received fresh messages and the beliefs already possessed by this party.

提出了一种基于逻辑的信任多集方法，它与已有的密码协议安全性分析方法本质上不同：每个参与主体建立的新信任只应依赖于该主体已拥有的信任和接收或发送的包含了信任的新鲜性标识符的消息本身。

Quantum key distribution produces and releases key by making use of quantum mechanics principle,to solve the insuperably limitation of key distribution in classical cryptography,and guarantees the absolute security of the cryptographic key.

量子密钥分发系统是利用量子力学的基本原理来产生和发布密钥，以解决经典密码学在密钥分发方面存在的无法克服的缺陷，从而保证密钥在发布过程中的绝对安全，进而实现通信双方所交换信息的绝密。

A cryptographic process used to assure information authenticity, integrity, and nonrepudiation.

一种用以确保信息的真实性、完整性以及抗抵赖性的加密过程。

Authentication schemes are one of the most useful and fundamental primitives in public key cryptography which applies cryptographic methods to achieve the security services such as authenticity, integrity and nonrepudiation.

随着计算机和计算机网络的快速发展，信息安全已经成为信息社会急需解决的问题。

Because of its compactness, fineness and unambiguity, formal analysis of cryptographic protocol has been an efficient and correct method step by step.

形式化分析由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径。

Because of its compactness, fineness and unambiguity, formal analysis of cryptographic protocol has been an efficient and correct method step by ste...

本文主要研究了基于颜色Petri网的密码协议分析方法，开展了以下方面的研究工作：(1)对常见的密码协议进行了总结，阐述了各自的特点。

But, with the development of quantum computation, the most important classic cryptographic scheme named public-key crypto-system will be aggressed easily.

但是，随着量子计算的发展，经典上最重要的公开密钥系统将很容易被破解。

The study of techniques for deciphering cryptographic writings or systems.

研究译解密码书写或密码系统技巧的学科。

The analysis and deciphering of cryptographic writings or systems.

密码分析对密码书写或密码系统的分析和译解

Moving from paper share certificates and written share registers to "dematerialized" shares, computerized trading and registration required not only extensive changes to legislation but also the development of the necessary technology: online and real time systems rather than batch; electronic communications rather than the postal service, telex or the physical shipment of computer tapes, and the development of secure cryptographic algorithms.

从纸质的股票证书和书面股票注册到&虚拟&的股票，电脑化的交易和注册不仅要求立法的一系列改变，还要求所需技术的发展：在线和实时的系统，电子通讯（而不是邮政服务、电传或电脑磁带的实际运输），还有安全的保密算法的发展。

They have quite a lot of work to do.

他们有许多工作要做。

Let us give you a more elaborate example of this process.

让我们给你这个过程的更多的详细例子。