查询词典 protocols

The security of PKI system itself is especially emphasized during the system design and implementation process, which is in accordance with the pervasive characteristic of PKI. Second, the concept of a Trusted Key Management Center is introduced for the first time. This technology greatly strengthens key management practices and allows for smooth transition from PKI to Key Management Infrastructure . Third, certificate status mechanisms are investigated in depth, and a certificate revocation performance simulation system is devised. All these work will provide guides to practice and employment of PKI applications. Based on time constraints, a new taxonomy for authenticated dictionaries is proposed. Fourth, formal analysis of OCSP protocol is carried out; then an efficient and scalable OCSP system is developed. Fifth, the special requirements caused by the working environments of Wireless PKI are analyzed. Based on communicative hashing and dynamic Merkle hash tree, an efficient certificate status validation method suitable for WPKI is presented. Sixth, one important kind of fair exchange protocols is studied, and a new CEMBS based on RSA cryptosystem is proposed. Afterwards, a novel fair exchange protocol totally based on RSA signature scheme is devised.

在系统设计和实现的过程中，考虑到PKI作为普适性安全基础平台的特点，特别强调PKI系统自身的安全性；第二，首次在PKI系统的设计中提出了"可信密钥管理中心"的概念，这一独特设计大大地强化了密钥管理功能的实施，为PKI向密钥管理基础设施的平滑过渡提供了良好的技术准备；第三，对证书状态验证机制进行了深入研究，设计了证书状态模拟系统，以指导PKI系统和应用的部署和实施；在此基础上，基于时间约束首次给出了认证字典的一种新的分类方法；第四，对OCSP协议进行了形式化分析，设计和实现了一种高效、可扩展的OCSP系统；第五，分析了WPKI工作环境对设计安全基础平台提出的特殊要求，结合无线移动设备的具体特点，基于可交换杂凑函数和动态Merkle杂凑树设计出了一种适用于WPKI环境的高效证书状态查询机制；第六，对一类公平交换协议进行了深入的研究，从设计公平交换协议的密码基础结构出发，提出了一种新型的基于RSA密码体制的高效CEMBS；在此工作的基础上，设计了一种基于RSA密码体制的最优化公平交换协议。

International standard protocols, user authentication and billing systems, the Sun compiled by Minicom.

国际标准协议的，用户认证及计费系统，在SUN 小型机上编译通过。

One reason is that the model is an algebra method and it is based on the theory of minimal element. It can give more credible proof. Another reason is that the model tries to prove security of protocols, rather than check them. Thirdly, the model is simple and easy to use, and proof can be finished by manual. Moreover, graphic description makes its proof more comprehensible. Fourthly, there is much research work related to the model, which gives me a good springboard.

首先，该模型是一种代数方法，以极小元等理论为基础，可以给出可信度较高的证明；其次，该模型不是验证协议，而是试图证明协议的安全性；第三，该模型简单、易用，可以手工的方式完成证明，而且图形表示使其证明更加直观；第四，关于该模型有许多相关的研究工作，这为进一步工作打下了良好的基础。

The multi-protocols-based Pidgin realizes IM interconnection to some extent. But Pidgin s practical functions are limited by its disadvantages that lie in weak modifiability, poor scalability and inconvenient deployment.

采用多协议客户端策略的开源软件Pidgin在一定程度上解决了互联互通问题，但它存在着可修改性弱、可扩展性差、部署难的缺点，限制了其实用功能。

Device driver includes hardward modular, interrupt modular, function modular, initializtion/finalization modular, character device interface modular and network device interface modular. User processes includes link scan task, layer 3 unicast task , layer 3 multicast task, management interface and network protocols.

设备驱动程序主要包括硬件模块、中断处理模块、功能模块、初始化/卸载模块、字符设备接口模块和网络设备接口模块；用户进程主要包括链路状态扫描任务、三层单播任务、三层组播任务、管理界面和网络协议。

In the end, based on the analysis of the character of the existed protocols, this paper provided a new multiparty computation protocol.

最后，在分析已有协议的特征的基础上，本文提出了一种全新的安全多方计算协议。

ABSTRACT Secure multiparty protocols play an important role in the area of information security.

多方安全协议在信息安全中起着至关重要的作用，可验证秘密分享是设计多方安全协议的一个基本工具。

It supports multiple servers and time service protocols.

支持倍数和时间服务协议。

Since the introduction of IP concept by Mr. Murry in 1986,researchers have developed different protocols for various tissues and organs of different kinds of animals,leading to the conclusion that IP is a universal preservation method.

自从1986年Murry首次提出缺血预处理的概念以来，一些研究者用不同的预处理方法在不同种属动物的不同组织、器官上进行研究，均证实存在缺血预处理细胞保护作用的普遍性。

Which routing protocols can be used within the enterprise network shown in the diagram?

在如下图所示的公司网络中，哪个路由协议可以被使用。

"Second Life is remarkably easy to work with, and is very popular,"

"第二次生命是显着容易的工作，并且很受欢迎，"

For example, we usually assume that materials are homogeneous and isotropic and free of internal defects or flaws.

为了得到适合有限元分析的模型，我们必须经过如图2所示的简化步骤。