Security Proofs In Number Theoretic Cryptography