Selected theses supervised by Luigi Logrippo
or related to his research activities.
Older theses can be found here, more
recent ones can be found here.
PDF Layouni, A. F. Méthode
formelle de détection d’interactions pour les politiques de contrôle d’appel
téléphonique. Université du Québec en Outaouais, Département d’informatique et
ingénierie Décembre 2007.
PDF Mankai, M. Vérification et
analyse des politiques de contrôle d'accès : Application au langage XACML. Janvier 2006.
PDF Jin,
X. Applying Model Driven Architectural Approaches to Model Role Based Access
Control.