Primality and Cryptography (Wiley Teubner on Applicable Theory in Computer Science)