Hay un tipo especial de seguridad condicional, llamada seguridad demostrable.