 |
PREUVES, PROGRAMMES et SYSTÈMES |  |
|
PREUVES, PROGRAMMES et SYSTÈMES | |
| HAL: hal-00496352, version 1 |
| DOI: 10.1016/j.ic.2007.07.005 |
| Detailed view |  Export this paper |
 |
| 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 |
|
|
|
|
|
|
|
|
|
| Subject | : | Computer Science/Logic in Computer Science Computer Science/Cryptography and Security |
| hal-00496352, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00496352 | |
| oai:hal.archives-ouvertes.fr:hal-00496352 | |
| From: Ralf Treinen | |
| Submitted on: Wednesday, 30 June 2010 13:36:26 | |
| Updated on: Wednesday, 30 June 2010 13:36:26 | |
