Formal Models And Techniques For Analyzing Security Protocols by V. Cortier