Accueil
Déposer
S'authentifier
S'inscrire
Consulter
Liste des publications
Par type de publication
Par année de publication
Par domaine
Par laboratoire
Par collection
Par auteur
Rechercher
Recherche simple
Recherche avancée
Accès par identifiant
Services
S'abonner
Exporter une liste de publication
Créer une page Web
Consulter les laboratoires connus de HAL
Aide
Manuel et informations
À propos
version française
english version
.:.
Consulter
>
Par auteur
> Amadio .:.
5 documents classés par :
date de publication, écriture ou dépôt
titre du document
1er auteur
Type de documents
Date de dépôt
On name generation and set-based analysis in Dolev-Yao model
Amadio R. M., Charatonik W.
Rapport de recherche (2002) [inria-00072209 - version 1]
On the Decidability of Fragments of the Asynchronous Pi-Calculus
Amadio R. M., Meyssonnier C.
Rapport de recherche (2001) [inria-00072346 - version 1]
On the Symbolic Reduction of Processes with Cryptographic Functions
Amadio R. M., Lugiez D., Vanackère V.
Rapport de recherche (2001) [inria-00072478 - version 1]
The Receptive Distributed $\pi$-Calculus
Amadio R. M., Boudol G., Lhoussaine C.
Rapport de recherche (2000) [inria-00072553 - version 1]
On the Reachability Problem in Cryptographic Protocols
Amadio R. M., Lugiez D.
Rapport de recherche (2000) 33 [inria-00072738 - version 1]