 |
Université de Provence - Aix-Marseille I Hyper Articles en Ligne |
 |
|
Université de Provence - Aix-Marseille I Hyper Articles en Ligne |
|
| HAL : hal-00496352, version 1 |
| DOI : 10.1016/j.ic.2007.07.005 |
| Fiche détaillée |  Récupérer au format |
 |
| Information and Computation 206, 2-4 (2008) 312-351 |
|
|
|
|
| Symbolic Protocol Analysis for Monoidal Equational Theories |
|
|
| Stéphanie Delaune 1Pascal Lafourcade 1 |
|
|
| (2008) |
|
|
|
|
|
|
|
|
|
|
|
| 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-00496352, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00496352 | |
| oai:hal.archives-ouvertes.fr:hal-00496352 | |
| Contributeur : Ralf Treinen | |
| Soumis le : Mercredi 30 Juin 2010, 13:36:26 | |
| Dernière modification le : Mercredi 30 Juin 2010, 13:36:26 | |
