J. Camenisch og M. Michels, “Proving in Zero-Knowledge that a Number is the Product of Two Safe Primes”, BRICS, bd. 5, nr. 29, jan. 1998.