Provable Prime Number Generator suitable for Cryptographic Applications