Politique de contrôle d'accès multi-niveaux : test de conformité vis à vis des flots avec l'outil FoCaL

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01125619
Contributor : Laboratoire Cedric <>
Submitted on : Friday, March 6, 2015 - 11:21:27 AM
Last modification on : Thursday, March 21, 2019 - 2:44:18 PM

Identifiers

  • HAL Id : hal-01125619, version 1

Citation

Matthieu Carlier, Catherine Dubois, Lionel Habib, Mathieu 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, Jan 2009, Toulouse, France. pp.145-160. ⟨hal-01125619⟩

Share

Metrics

Record views

117