On the symbolic reduction of processes with cryptographic functions - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Theoretical Computer Science Année : 2003

On the symbolic reduction of processes with cryptographic functions

Domaines

Logique en informatique [cs.LO]

Roberto M. Amadio  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00147013

Soumis le : mardi 15 mai 2007-16:17:15

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

Fichier non déposé

Dates et versions

hal-00147013 , version 1 (15-05-2007)

Identifiants

  • HAL Id : hal-00147013 , version 1

Citer

Roberto Amadio, Denis Lugiez, Vincent Vanackere. On the symbolic reduction of processes with cryptographic functions. Theoretical Computer Science, 2003, 290, pp.695-740. ⟨hal-00147013⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

LIF CNRS UNIV-AMU LIS-LAB MOVE
35 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More