Documents publiés en "2005"
Monter d'un niveauNombre de documents: 1
Bastien, G., & Mullins, J. (août 2005). ASPIC : A tool for symbolic analysis of cryptographic protocols [Communication écrite]. 5e Colloque international sur les nouvelles technologies de la répartition (NOTERE 2005), Gatineau, Qc, Canada. Non disponible