|
 
|
Lionel Habib
Publications
2009
- [CDH09] M. Carlier, C. Dubois, L. Habib, M. Jaume. "Politique de contrôle d'accès multi-niveaux : test de conformité vis à vis des flots avec l'outil FoCaL", AFADL'09 Approches formelles dans l'assistance au développement des Logiciels, Toulouse, January 2009,
Conférence Nationale avec comité de lecture
2008
- [ACD08] P. Ayrault, M. Carlier, D. Delahaye, C. Dubois, D. Doligez, L. Habib, T. Hardin, M. Jaume, C. Morisset, F. Pessaux, P. Weis. "Trusted Software within FoCaL", CE&SAR 2008, Rennes, décembre, December 2008, pp.142-157,
