Article Dans Une Revue
Theoretical Computer Science
Année : 2006
Véronique Cortier : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00108372
Soumis le : mercredi 25 octobre 2006-10:15:51
Dernière modification le : lundi 11 septembre 2023-17:41:18
Citer
Véronique Cortier, Martin Abadi. Deciding knowledge in security protocols under equational theories.. Theoretical Computer Science, 2006, 367 (1-2), pp.2-32. ⟨10.1016/j.tcs.2006.08.032⟩. ⟨inria-00108372⟩
Collections
82
Consultations
0
Téléchargements