A formal comparison of the Bell & LaPadula and RBAC models

Lionel Habib 1 Mathieu Jaume 1 Charles Morisset
1 SPI - Sémantiques, preuves et implantation
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01301649
Contributor : Lip6 Publications <>
Submitted on : Tuesday, April 12, 2016 - 3:49:04 PM
Last modification on : Thursday, March 21, 2019 - 1:09:17 PM

Identifiers

Citation

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⟩

Share

Metrics

Record views

49