© University of Kent - Contact | Feedback | Legal | FOI | Cookies
On the Modeling of Bell-LaPadula Security Policies using RBAC
Gansen Zhao and David W Chadwick
In Proceedings of 17th IEEE International workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2005), Rome, pages 182-196, June 2008.Abstract
The Bell-LaPadula security model is a hybrid model that combines mandatory access controls and discretionary access controls. The Bell-LaPadula security model has been widely accepted in military environments for its capability to specify military style confidentiality policies. The role based access control (RBAC) model has attracted extensive research effort and has been acknowledged as a flexible and policy natural model. This paper investigates a way of modeling Bell-LaPadula security policies using the RBAC model. The capability of modeling Bell-LaPadula security policies using RBAC model means that applications that are implemented using the RBAC model can then be deployed in military environments and will meet their requirements for information confidentiality.
Download publication 117 kbytes (PDF)Bibtex Record
@conference{2836,
author = {Gansen Zhao and David W Chadwick},
title = {{O}n the {M}odeling of {B}ell-{L}a{P}adula {S}ecurity {P}olicies using {R}{B}{A}{C}},
month = {June},
year = {2008},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2008/2836},
publication_type = {conference},
submission_id = {17858_1225728460},
booktitle = {Proceedings of 17th IEEE International workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2005), Rome},
}