Formal Specification and Impementation of RBAC Model with SOD. - Su Yu; Jon Brewster (J. Softw., 2012)