1) Decisional Diffie-Hellman Problem's Hardness
Diffie-Hellman判定性问题
2) decisional Diffie-Hellman problem
判定Diffie-Hellman问题
3) Decisional bilinear Diffie-Hellman problem
决定性双线性Diffie-Hellman问题
4) Diffie-Hellman problem
Diffie-Hellman问题
5) Diffie-Hellman decision problem
Diffie-Hellman决定问题
6) Bilinear Diffie-Hellman problem
双线性Diffie-Hellman问题
1.
Based on the study of some based-pairing cryptosystem,we can find them must resolve the following questions:(1)Decide whether Bilinear Diffie-Hellman Problem is realy a hard question or not;(2)Find more efficient arithmitric to compute bilinear pairing;(3)Propose more secure,efficient and special signature schemes,such as.
在研究各种基于配对的密码体制的基础上,认为基于配对的密码体制要想得到广泛的实际应用,必须解决下列问题:(1)必须对双线性Diffie-Hellman问题进一步研究,判断其是否为一困难问题。
2.
The scheme is proved to be secure under the hardness of elliptic curve discrete logarithm problem and bilinear Diffie-Hellman problem.
在椭圆曲线离散对数问题和双线性Diffie-Hellman问题的难解性下,该方案被证明是安全的。
补充资料：判定问题
| 判定问题 decision problem 判断是否有一种能够解决某一类问题的能行算法的研究课题。这里所说的一类问题，是指有无穷多个同一类型问题组成的问题。问题的解是指判断这一类问题中的每一个是否具有某种性质，或判断它们中的每一个是真还是假。如果能找到一种有效的能行的算法，依据这种算法，一类问题中的每一个都可以有确定解，就称这一类问题是可判定的；否则就称这一类问题是不可判定的。一般说来，证明一类问题是可判定的比较容易，只要找出解这类问题的一种算法，但要证明一类问题是不可判定的就不容易。要证明任何一种算法都不能判定某一类问题，首先必须给算法下一个严格的精确的定义。这就要用到递归函数和递归论的方法，用递归论的方法可以把一类问题能行地化为自然数集的某个子集。判定这一类问题就变为判定这个子集是否为递归集。如果这一子集不是递归集，则这一类问题就是不可判定的。利用递归论方法，许多问题被证明是不可判定的。例如群的子问题，丢番图方程解的问题，一阶逻辑公式的可满足性问题都被证明是不可判定的。已知一些可判定的和不可判定的问题后，归约的方法就是判定问题的一种重要而有效的方法了。把未知的一类问题的解化归到一类已知的问题的解就是归约方法。如果T，T’是两类问题，T’中的每个问题的解都能化归到T中某个问题的解，就记作T’≤T。这时如果T是可判定的，T’也是可判定的；如果T’是不可判定的，T也是不可判定的。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条