 |
Université de Provence - Aix-Marseille I Hyper Articles en Ligne |
 |
|
Université de Provence - Aix-Marseille I Hyper Articles en Ligne |
|
| HAL : hal-00496353, version 1 |
| DOI : 10.1016/j.ic.2006.10.008 |
| Fiche détaillée |  Récupérer au format |
 |
| Information and Computation 205, 4 (2007) 581-623 |
|
|
|
|
| Intruder deduction for the equational theory of Abelian groups with distributive encryption |
|
|
| Pascal Lafourcade 1Denis Lugiez 2 |
|
|
| (2007) |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire Spécification et Vérification [Cachan] (LSV) |
|
|
|
CNRS : UMR8643 – INRIA – École normale supérieure de Cachan - ENS Cachan |
|
|
| 2 : | Laboratoire d'informatique Fondamentale de Marseille (LIF) |
|
|
|
CNRS : UMR6166 – Université de la Méditerranée - Aix-Marseille II – Université de Provence - Aix-Marseille I |
|
|
| 3 : | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Logique en informatique Informatique/Cryptographie et sécurité |
| hal-00496353, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00496353 | |
| oai:hal.archives-ouvertes.fr:hal-00496353 | |
| Contributeur : Ralf Treinen | |
| Soumis le : Mercredi 30 Juin 2010, 13:40:12 | |
| Dernière modification le : Mercredi 30 Juin 2010, 13:40:12 | |
