Enviar aquest missatge de text: Data independent verification of crypto−protocols