Enviar aquest missatge de text: Formal models and techniques for analyzing security protocols