机制

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 ofOCSP 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密码体制的最优化公平交换协议。

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密码体制的最优化公平交换协议。

User identification and message authentication are two important aspects of network security.

身份验证和信息认证是网络安全技术的二个重要方面，身份验证机制限制非法用户访问网络资源信息认证机制则保证了信息在传送过程中的完整性和信息来源的可靠性，在某些情况下，信息认证比信息保密更为重要。

At present, the research on tumor growth and metabasis by ultrasound has been developed from anatomy to function, molecuiar biology and pathophysiology.

目前，超声对肿瘤发展机制、转移机制的探索已由单纯的解剖学描述向功能学、分子生物学、病理生理学发展。

A real time heterogeneous system communication scheme, which maintains the coherency between design and verification, is proposed. A method for solving metastability in heterogeneous system with high efficiency is also proposed.

提出了一种异步系统的实时通信机制，该通信机制具有设计和验证一致的特点，并对异步系统通信中必然存在的亚稳态问题进行了分析，提出了高效的解决办法。

These two phenomena may be caused by the neutrino oscillation or other mechanisms which are not included in the minimal Standard Model, the most successful theory of the 20th century.

这两种现象可能是源于中微子振荡或其他的机制，然而这些机制并没有包含在20世纪最成功的理论——最小标准模型中。

Apply the standard tools of VGC mechanism design to solve the minimum spanning tree problem.

文中将机制设计的标准工具VGC机制应用到解决最小支撑树问题。

A data fusion algorithm is adopted to enhance the performance of auto rate selection mechanism in IEEE 802.11 based on fuzzy system theory,and with the application of this mechanism,the misjudgement of channel state which estimated by single channel parameter is eliminated.

为了提高IEEE 802.11中速率选择机制的性能，提出了一种基于多信道参数数据融合算法的自动速率选择机制，克服了采用单一参数进行信道状态估计的误差和误判。

Secondly combining the adjustment method of stability of theemployee-centered labor relation and moderateness mechanism and early-warningmechanism, the dissertation puts forward maneuverable proposals which set up the stableemployee-centered labor relation.

其次，结合员工主导型劳动关系稳定性的调整方式、协调机制和预警机制的机理，提出了构建企业稳定的员工主导型劳动关系的可操作性建议。

Under the guidance of my teacher, a new model on unidirectional motion of molecular motor is put forward, in which the interaction between two heads is taken into account for the first time.

本文首次提出了双头相互作用的分子马达定向运动机制的模型，尝试了物理上研究分子马达定向运动机制的新方法。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。