Diffie-Hellman鍵交換アルゴリズムの安全性の根拠となっている数学的難問はどれか。

Diffie-Hellman鍵交換は、ある数値を生成するのは簡単だが、その元となった数値を求めるのは困難であるという離散対数問題の計算量的困難性に依存している。