Un laboratoire de haute sécurité en informatique - Chouchan, Dominique. (La Recherche, 2011)
Rubrique ÷Les Cahiers de l'INRIA÷.