Enviar Registro por Correo electrónico: What happened to formal methods for security?