Intruder deduction for the equational theory of Abelian groups with distributive encryption - Laboratoire Preuves, Programmes et Systèmes
Article Dans Une Revue Information and Computation Année : 2007

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

Pascal Lafourcade
Laboratoire Spécification et Vérification [Cachan]
CV
Denis Lugiez
  • Fonction : Auteur
  • PersonId : 836191
Laboratoire d'informatique Fondamentale de Marseille - UMR 6166
Ralf Treinen
  • Fonction : Auteur
  • PersonId : 845934
Preuves, Programmes et Systèmes

Domaines

Logique en informatique [cs.LO] Cryptographie et sécurité [cs.CR]
Fichier principal
Vignette du fichier
LLT-icomp07.pdf (462.69 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Ralf Treinen  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00496353

Soumis le : jeudi 14 décembre 2017-16:46:17

Dernière modification le : dimanche 12 novembre 2023-09:39:55

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 PPS LIF CNRS UNIV-AMU ENS-CACHAN LIS-LAB MOVE ENS-PARIS-SACLAY
158 Consultations
94 Téléchargements

Altmetric

Partager

More