Semantic Role Based Access Control model

This paper describes extension of the standard RBAC model with a semantic context that can be used in corporative information systems to express the dependence between employees' work responsibilities and system roles assigned to corresponding users. The main difference of the proposed model is that it allows to automate role assignment and revocation. This article contains also a safety proof for proposed semantic model.