|
 
|
[CDH09] Politique de contrôle d'accès multi-niveaux : test de conformité vis à vis des flots avec l'outil FoCaL
Conférence Nationale avec comité de lecture : AFADL'09 Approches formelles dans l'assistance au développement des Logiciels, Toulouse, January 2009,
motcle:
Résumé:
resume
Commentaires:
note
BibTeX
| @inproceedings { | |||
| CDH09, | |||
| title | = | "{Politique de contrôle d'accès multi-niveaux : test de conformité vis à vis des flots avec l'outil FoCaL}", | |
| author | = | " M. Carlier and C. Dubois and L. Habib and M. Jaume ", | |
| booktitle | = | "{AFADL'09 Approches formelles dans l'assistance au développement des Logiciels, Toulouse}", | |
| year | = | 2009, | |
| month | = | "January", | |
| note | = | "{note}", | |
| } | |||
