Enviar aquest missatge de text: Proving security protocols with model checkers by data independence techniques