Contrôler le contrôle d'accès : Approches formelles - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Contrôler le contrôle d'accès : Approches formelles

Mathieu Jaume
  • Fonction : Auteur
  • PersonId : 901267
Charles Morisset
  • Fonction : Auteur
  • PersonId : 969938
Fichier non déposé

Dates et versions

hal-01336213 , version 1 (22-06-2016)

Identifiants

  • HAL Id : hal-01336213 , version 1

Citer

Mathieu Jaume, Charles Morisset. Contrôler le contrôle d'accès : Approches formelles. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'07),, Jun 2007, Namur, Belgique. pp.227-244. ⟨hal-01336213⟩
35 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More