Modèle et vérification formels des politiques de contrôle d'accès

Projet: Projet de thèse

Détails du projet

Description

{description_courte}
L'acronymeTh-HTO
statutFini
Les dates de début/date réelle20/11/071/10/11

mots-clés

  • verification automatique
  • contrôle d'accès informatique
  • controle d'acces informatique
  • vérification automatique
  • Sécurité informatique
  • contrôle d'accès basé sur les rôles (RBAC)
  • specification formelle
  • controle d'acces base sur les roles (RBAC)
  • spécification formelle
  • Securite informatique