Modélisation graphique et validation formelle de politiques RBAC en systèmes d’information. Plateforme B4MSecure. - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information Année : 2014

Modélisation graphique et validation formelle de politiques RBAC en systèmes d’information. Plateforme B4MSecure.

Fichier non déposé

Dates et versions

hal-01420679 , version 1 (20-12-2016)

Identifiants

  • HAL Id : hal-01420679 , version 1

Citer

Akram Idani, Yves Ledru, Amira Radhouani. Modélisation graphique et validation formelle de politiques RBAC en systèmes d’information. Plateforme B4MSecure.. Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2014, 19 (6), pp.33-61. ⟨hal-01420679⟩
100 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More