摘要

在现代密码系统中,大素数对一些加密系统的建立来说有着不可忽视的作用,如RSA密码系统和椭圆曲线密码体制ECC,作为应用最广和最具有发展潜力的两个密码体系,其安全性都是建立在大素数之上。而大素数的检验显得尤为重要,常见的素性检验算法包括Fermat素性检验、Solovay-Strassen素性检验、Miller-Rabin素性检验、Pocklington素性检验、Lucas-Lehmer素性检验、Pepin素性检验、Lucas素性检验、AKS素性检验等算法。素性检验算法可按照待检验数的形式分为一般形式素性检验算法和特殊形式素性检验算法,也可以按照检验结果的准确性分为概率型素性检验算法以及确定型素性检验算法。本文介绍了上述常见的素性检验的理论算法,并从不同分类、软件实现等方面对这些素性检验算法进行了比较分析,最后得出Miller-Rabin素性检验算法的综合效率最高。

  • 单位
    北京电子科技学院