https://123dok.net/document/6qm1ll8q-verification-des-protocoles-cryptographiques-comparaison-des-modeles-symboliques-avec-une-application-des-resultats-etude-des-protocoles-recursifs.html