Communication Dans Un Congrès
Année : 2002
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03203027
Soumis le : mardi 20 avril 2021-14:15:46
Dernière modification le : mercredi 29 novembre 2023-15:28:04
Dates et versions
Identifiants
- HAL Id : hal-03203027 , version 1
Citer
Jean Goubault-Larrecq. Vérification de protocoles cryptographiques: la logique à la rescousse!. 1er Workshop International sur la Sécurité des Communications sur Internet (SECI'02), Sep 2002, Tunis, Tunisie. pp.119--152. ⟨hal-03203027⟩
Collections
8
Consultations
0
Téléchargements