s'authentifier
version française rss feed
.:. Consulter > Par auteur > Amadio .:.
5 documents classés par : 
fulltext access On name generation and set-based analysis in Dolev-Yao model
Amadio R. M., Charatonik W.
Rapport de recherche (2002) [inria-00072209 - version 1]
fulltext access On the Decidability of Fragments of the Asynchronous Pi-Calculus
Amadio R. M., Meyssonnier C.
Rapport de recherche (2001) [inria-00072346 - version 1]
fulltext access 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]
fulltext access The Receptive Distributed $\pi$-Calculus
Amadio R. M., Boudol G., Lhoussaine C.
Rapport de recherche (2000) [inria-00072553 - version 1]
fulltext access On the Reachability Problem in Cryptographic Protocols
Amadio R. M., Lugiez D.
Rapport de recherche (2000) 33 [inria-00072738 - version 1]