Hamadou, S. (2008). Analyse formelle des protocoles cryptographiques et flux d'information admissible [Ph.D. thesis, École Polytechnique de Montréal]. Available