Monter d'un niveau |
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