https://123dok.net/document/q05ve5m9-vérification-protocoles-cryptographiques-logique-rescousse.html