A Formal Comparison of the Bell & LaPadula and RBAC Models. - Lionel Habib; Mathieu Jaume; Charles Morisset (IAS, 2008)