Nombre de documents archivés : 1.
Errachid, Mohammed (2011). « Vérification des politiques XACML avec le langage Event-B » Mémoire. Montréal (Québec, Canada), Université du Québec à Montréal, Maîtrise en informatique.