On Abstract Models In Cryptography And Their Applications