Communication Dans Un Congrès
Année : 2006
Véronique Cortier : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00108398
Soumis le : vendredi 20 octobre 2006-16:11:23
Dernière modification le : jeudi 7 mars 2024-12:32:05
Dates et versions
Identifiants
- HAL Id : inria-00108398 , version 1
Citer
Véronique Cortier, Graham Steel. On the Decidability of a Class of XOR-based Key-management APIs. Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS-ARSPA'06), Aug 2006, Seattle, Washington. ⟨inria-00108398⟩
Collections
77
Consultations
0
Téléchargements