Bastien, G. (2004). ASPiC : un outil d'analyse symbolique automatisée de protocoles cryptographiques basé sur le modèle de flux d'information [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible