Chapitre D'ouvrage
Année : 2004
Giuseppe Castagna : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00152565
Soumis le : jeudi 7 juin 2007-10:21:43
Dernière modification le : vendredi 19 avril 2024-16:18:55
Dates et versions
Identifiants
- HAL Id : hal-00152565 , version 1
Citer
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone. Name-passing calculi and crypto primitives: a survey. Foundations of Security Analysis and Design, Springer, pp.91-138, 2004, LNCS n. 2946. ⟨hal-00152565⟩
44
Consultations
0
Téléchargements