https://123dok.net/document/y96r4x7r-théories-intrus-vérification-protocoles-cryptographiques.html