Hamadou, S. (2008). Analyse formelle des protocoles cryptographiques et flux d'information admissible [Thèse de doctorat, École Polytechnique de Montréal]. Disponible