On the authentication control of Needham-Schroeder protocol using Petri Nets
Résumé
Voir le lien ici
Voir le lien ici
Connectez-vous pour contacter le contributeur
https://hal.science/hal-01125482
Soumis le : vendredi 6 mars 2015-11:10:46
Dernière modification le : mercredi 9 juillet 2025-15:06:18