Modélisation graphique et validation formelle de politiques RBAC en systèmes d’information. Plateforme B4MSecure. - Archive ouverte HAL Access content directly
Journal Articles Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information Year : 2014

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

Not file

Dates and versions

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

Identifiers

  • HAL Id : hal-01420679 , version 1

Cite

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⟩
98 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More