![]() | Up a level |
Bastien, G., & Mullins, J. (2005, August). ASPIC : A tool for symbolic analysis of cryptographic protocols [Paper]. 5e Colloque international sur les nouvelles technologies de la répartition (NOTERE 2005), Gatineau, Qc, Canada. Unavailable