A formal comparison of the Bell & LaPadula and RBAC models - Archive ouverte HAL
Communication Dans Un Congrès Année : 2008

A formal comparison of the Bell & LaPadula and RBAC models

Lionel Habib
  • Fonction : Auteur
  • PersonId : 969939
Mathieu Jaume
  • Fonction : Auteur
  • PersonId : 901267
Charles Morisset
  • Fonction : Auteur

Résumé

In this paper we address the problem of comparing access control models. Indeed, many access control models can be found in the literature and in order to choose one model for a particular context, some tools helping such a choice are needed. We develop here a complete example allowing to compare (in a formal way) the Bell and LaPadula (BLP) model and the role-based (RBAC) model. In order to achieve this goal, we first express these models in a uniform way, then we introduce concepts (mostly based on simulations) allowing to compare access control models.
Fichier non déposé

Dates et versions

hal-01301649 , version 1 (12-04-2016)

Identifiants

Citer

Lionel Habib, Mathieu Jaume, Charles Morisset. A formal comparison of the Bell & LaPadula and RBAC models. Fourth International Conference on Information Assurance and Security, IAS'2008, Sep 2008, Naples, Italy. pp.3-8, ⟨10.1109/IAS.2008.18⟩. ⟨hal-01301649⟩
98 Consultations
0 Téléchargements

Altmetric

Partager

More