Automatic Cryptographic Protocol Verifier, User Manual and Tutorial
Morii et Masao Kasahara (1988), article que nous n'avons pas réussi `a nous procurer). ... la norme iso 9796-1 et corrigé (réédité) la norme iso 9796-2.
Morii et Masao Kasahara (1988), article que nous n'avons pas réussi `a nous procurer). ... la norme iso 9796-1 et corrigé (réédité) la norme iso 9796-2.