Détails du projet
Description
{description_courte}
| Acronyme | Th-HTO |
|---|---|
| statut | Fini |
| Les dates de début/date réelle | 20/11/07 → 1/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
Empreinte digitale
Explorez les thèmes de recherche abordés par ce projet. Ces libellés sont générés sur la base des prix/subventions sous-jacents. Ensemble, ils forment une empreinte digitale unique.