On the Modeling of Bell-LaPadula Security Policies Using RBAC | IEEE Conference Publication | IEEE Xplore