Intruder deduction for the equational theory of Abelian groups with distributive encryption - Université Paris Cité Accéder directement au contenu
Article Dans Une Revue Information and Computation Année : 2007

Intruder deduction for the equational theory of Abelian groups with distributive encryption

Fichier principal
Vignette du fichier
LLT-icomp07.pdf (462.69 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00496353 , version 1 (14-12-2017)

Identifiants

Citer

Pascal Lafourcade, Denis Lugiez, Ralf Treinen. Intruder deduction for the equational theory of Abelian groups with distributive encryption. Information and Computation, 2007, 205 (4), pp.581-623. ⟨10.1016/j.ic.2006.10.008⟩. ⟨hal-00496353⟩
103 Consultations
75 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More