Kiraga, A. F. (2010). Vérification des systèmes de sécurité probabilistes : restriction de l'attaquant [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible
