Los protocolos criptográficos pueden ser verificados formalmente en un nivel abstracto algunas veces.