Formal Specification and Impementation of RBAC Model with SOD

Su Yu, Jon Brewster. Formal Specification and Impementation of RBAC Model with SOD. JSW, 7(4):870-877, 2012. [doi]

Abstract

Abstract is missing.