Non-Constructivity in Security Proofs