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]
Abstract is missing.