查询词典 Biham

To address this problem, a new method of security analysis of QKD protocols is introduced. Based on the equivalence attack model of QKD protocols which is refered to Biham's proving, the protocol is divided into two parts: the body and the attack, then a Petri-net model of BB84 is obtained, and a security analysis is followed.

为了简化量子密码协议的安全性证明以及建立一种通用的证明方法，基于Petri 网提出一种量子密钥分配协议的形式化分析方法，根据Biham 的等效对称化攻击模型，将协议分为主体模型和攻击模型两部分，建立了BB84 协议的Petri 网模型，然后对模型进行安全性分析，分析结果表明， BB84协议是无条件安全的。

However, in 1997, Biham and Shamir announced a novel attack called Differential Fault Analysis.

直到1997年Biham与Shamir提出了错误差分攻击法(Differential Fault Anaylsis，DFA) [2-3]，证明在假设的错误情况发生之下，只需要少数的明文与错误密文对，便可以破解DES密码器。

At the same time, Biham gave an attack on 40-step SHA-1[6] and Joux improved upon the results of Biham and Chen[5] by presenting practical collisions in SHA-0 [24].The most important result is the break of MD5 by Xiaoyun Wang and Hongbo Yu.

比特追踪法是现今分析MD4系列杂凑函数所使用的最为广泛有效的方法，它的技术细节在2005年欧密会上公开，是破解包含MD5和SHA-1在内的多数MD4系列杂凑算法的理论基础。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。