和Silverman 也给出了类似但更细致的论述。
基于离散对数的密码系统.1978年由 Stephen Pohlig 和 证明，如果 "p-1" 的所有质因数都小于 formula_28，那么解决模数为formula_1的离散对数问题就属于 P问题。所以，对于基于离散对数的密码系统，比如数字签名算法（即），我们就要求 "p-1" 至少要有一个大质因数。
其它.要注意的是，判断一个伪素数是否是强伪素数时，我们看的是它除以某个基数的幂之后的余数，而不是看