Personal Desktop uses ANSI X9.17 and a Miller-Rabin test with five repetitions for key generation.
References:
- ANSI X9.17-1995 Financial Institution Key Management (Wholesale). American National Standards Institute. 1995. Appendix C.
- ANSI X9.31-1998 Digital Signatures using Reversible Public Key Cryptography for the Financial Services Industry (rDSA) . American National Standards Institute. 1998. Appendix A.
“Riemann's hypothesis and tests for primality”. Gary L. Miller. 300–317. 10.1016/S0022-0000(76)80043-8. Journal of Computer and System Sciences. 13. 3. December 1976. 0022-0000.
Probabilistic algorithm for testing primality. Michael O. Rabin. 128–138. 10.1016/0022-314X(80)90084-0. Journal of Number Theory. 12. 1. February 1980. 0022-314X.