将密码系统的安全性归结为某个经过深入研究的数学难题（如大整数因子分解、计算离散对数等），数学难题被证明求解困难，这叫做（ ）。