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

Pascal Lafourcade; Denis Lugiez; Ralf Treinen

doi:10.1016/j.ic.2006.10.008

Journal Articles Information and Computation Year : 2007

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

(1) , (2) , (3)

1
2
3

Pascal Lafourcade

Function : Author
PersonId : 5561
IdHAL : pascalafourcade
ORCID : 0000-0002-4459-511X
IdRef : 109895355

Laboratoire Spécification et Vérification [Cachan]

CV

Denis Lugiez

Function : Author
PersonId : 836191

Laboratoire d'informatique Fondamentale de Marseille - UMR 6166

Ralf Treinen

Function : Author
PersonId : 845934

Preuves, Programmes et Systèmes

Domains

Logic in Computer Science [cs.LO] Cryptography and Security [cs.CR]

Fichier principal

LLT-icomp07.pdf (462.69 Ko)

Origin : Files produced by the author(s)

Ralf Treinen : Connect in order to contact the contributor

https://hal.science/hal-00496353

Submitted on : Thursday, December 14, 2017-4:46:17 PM

Last modification on : Sunday, November 12, 2023-9:39:55 AM

Dates and versions

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

Identifiers

HAL Id : hal-00496353 , version 1
DOI : 10.1016/j.ic.2006.10.008

Cite

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⟩

Export

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

108 View

77 Download

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

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share