La seguridad demostrable es difícil de lograr para sistemas criptográficos complejos.