On the Decidability of a Class of XOR-based Key-management APIs - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

On the Decidability of a Class of XOR-based Key-management APIs

Domaines

Cryptographie et sécurité [cs.CR]

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

Fichier non déposé

Dates et versions

inria-00108398 , version 1 (20-10-2006)

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-FCOMTE UNIV-BM FEMTO-ST UNIV-BM-THESE UNIV-LORRAINE INRIA2 LORIA LORIA-FM
77 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More