Lionel Habib, Mathieu Jaume, Charles Morisset. A Formal Comparison of the Bell & LaPadula and RBAC Models. In Massimiliano Rak, Ajith Abraham, Valentina Casola, editors, Proccedings of the Fourth International Conference on Information Assurance and Security, IAS 2008, September 8-10, 2008, Napoli, Italy. pages 3-8, IEEE Computer Society, 2008. [doi]
@inproceedings{HabibJM08,
title = {A Formal Comparison of the Bell & LaPadula and RBAC Models},
author = {Lionel Habib and Mathieu Jaume and Charles Morisset},
year = {2008},
doi = {10.1109/IAS.2008.18},
url = {http://doi.ieeecomputersociety.org/10.1109/IAS.2008.18},
researchr = {https://researchr.org/publication/HabibJM08},
cites = {0},
citedby = {0},
pages = {3-8},
booktitle = {Proccedings of the Fourth International Conference on Information Assurance and Security, IAS 2008, September 8-10, 2008, Napoli, Italy},
editor = {Massimiliano Rak and Ajith Abraham and Valentina Casola},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3324-7},
}