Contact
Lionel Habib, PhD |
|
|
| Organization: UPMC / LIP6 / SPI |
| E-mail: Lionel.Habib at lip6.fr |
| Address: Université Pierre et Marie Curie |
| Boîte Courrier 169 |
| 4 place Jussieu |
| 75252 Paris Cedex 05 |
| Phone: (+33/0) 1 44 27 73 69 |
Papers
- With M. Jaume and C. Morisset. Formal definition and comparison of access control models. Journal of Information Assurance and Security, JIAS, Volume 4, Issue 4, Special Issue on Access Control and Protocols, 2009 pdf
- With M. Carlier, C. Dubois and M. Jaume. Politique de contrôle d'accès multi-niveaux : test de conformité vis-à-vis des flots avec l'outil FoCaL. Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 09, Toulouse, France, 2009 pdf
- With P. Ayrault, M. Carlier, D. Delahaye, C. Dubois, D. Doligez, T. Hardin, M. Jaume, C. Morisset, F. Pessaux, R. Rioboo and P. Weis. Trusted Software within FoCaL. C&ESAR 08 - Trusting Trusted Computing?, Rennes, France, 2008 pdf
- With M. Jaume and C. Morisset. A formal comparison of the Bell & LaPadula and RBAC models. Fourth International Symposium on Information Assurance and Security, IAS 08, Naples, Italy, 2008 pdf
- Formalisation, comparaison et implantation d'un modèle de contrôle d'accès à base de rôles. Master's thesis, Université Pierre et Marie Curie, Paris, France, 2007 pdf