PROVABLEPRIME, Generation of provable primes with Maurer's algorithm (with illustrative coding of RSA encryption (with authentication) and digital signature for sequences of fixed-sized plaintext blocks), is available at: http://s13.zetaboards.com/Crypto/topic/7234475/1/ M. K. Shen