查询词典 formal

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

One way is to use risk metalanguage (a formal description with required elements) to provide a three-part structured "risk statement", as follows :"As a result of , may occur, which would lead to ."

有一种方法是使用风险元语言（一种包含必要元素的正式描述）提供一个由三个部分组成的"风险陈述"，即"作为确定的原因引起的结果，不确定性事件可能发生，而不确定性事件又会导致对目标产生的后果。"

Formal syntactic models for the description of grammar, eg generative grammar, are a type of metalanguage.

正式句法模式描述语法，例如生成语法，是一种元语言。

Metamathematics is the fascinating study of what the limits are on math itself: the intrinsic capabilities of our formal models, proofs, axiomatic systems, and representations of rules, information, and computation.

对数学本身的研究就是无止境而且令人着迷的：构造形式模型本质的能力，证明，自明的系统，规则表示，信息，和计算。

Metamathematics is the fascinating study of what the limits are on math itself: the intrinsic capabilities of our formal models, proofs, axiomatic systems, andrepresentations of rules, information, and computation.

对数学本身的研究就是无止境而且令人着迷的：构造形式模型本质的能力，证明，自明的系统，规则表示，信息，和计算。

Metamathematics is the fascinating study ofwhat the limits are on math itself: the intrinsic capabilitiesof our formal models, proofs, axiomatic systems, and representationsof rules, information, and computation.

对数学本身的研究就是无止境而且令人着迷的：构造形式模型本质的能力，证实，自明的系统，规则表示，信息，和计算。

Law is of uncertainty, which decides that formal justice could only be pursued metaphysically,while its ultimate aim is the realization of substantive justice.

法律具有不确定性，决定了法律只能形而上地追求形式正义①，而法律的终极目标是实现实质正义。

Under suitable conditions, firstly, using the expansion method of power series, the reduced solution and formal outer solution are constructed.

在一定的假设下，首先，利用幂级数形式展开方法，构造了原问题的外部解。

Hope everybody can be in just results is more among this game, and bringing the smile on the face join formal afternoon agenda in the center, next we have the mother in the A that there is experience in Internet please senior manager Wang Yi is brought for us " long end of many a little makes a mickle is king " speech.

希望大家能够在刚刚的这个游戏当中收获更多，并且带着脸上的笑脸参加到下午正式的议程当中，接下来我们有请在互联网有经验的阿里妈妈资深经理汪毅为我们带来《聚沙成塔长尾为王》的演讲。

Starting from the hardware configuration of the computer, a variety of hierarchies of control information at the microprogramming level is considered, the formal definition of microoperations is developed, and the microinstructions are organized based on the physical parallelism between microoperations.

从计算机硬件结构出发，研究了微程序级中不同层次的控制信息，给出了微命令和微操作的形式定义，然后根据微操作的物理并行性提出了构造微指令的方法。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。