Camenisch, J.; Michels, M. Proving in Zero-Knowledge That a Number Is the Product of Two Safe Primes. BRICS 1998, 5.