Organizations having a large number of employees face several difficulties to separate job assignments to individual users. The situation becomes more complex when job assignments are delegated to those users who fulfill some explicit conditions. The delegation models developed so far discuss various issues regarding delegation of roles, but no mechanism has been developed to specify and validate constraints which are applied in course of temporary delegating (temporal delegation) and revoking a role to and from a user. This paper proposes a validation mechanism for flexible delegation and revocation of job roles to and from users with specific conditions. Also, we attempt to specify and validate n-level delegation and cascading/non-cascading revocation processes in an organization. I. INTRODUCTION Security has been a major issue in the development of software for networked organizations. As the number of employees of an organization may vary with variable job assignments, therefore it becomes complicated to manage job assignments to various users. To cope with such situations Role Based Access Control Model (RBAC) (1) was proposed for advanced access control as it reduces complexity and cost of security administration in specifically those applications which are networked and are accessed by large number of users with variable job assignments. In various organizations, users have permissions to delegate their job rights to other users at specific time periods with some restrictions. In the same way users can revoke the delegated rights after some time period. Almost all major organizations facilitate their users to delegate their job assignments to other users when work load of users cross certain limits or when the authorized user is unavailable. Therefore, delegation of rights and roles are followed by certain constraints which must be accomplished and only after that, job assignments be delegated to other users. For example, Ahmed delegates task review voucher to Mariam on wednesdays during a staff meeting or Dr. Sohail delegates treat patient task to a nurse when he is at home. The delegation models developed by (3), (4), (5) deal with on delegation of rights to other users, but have not specified any constraint in a formal language which limit temporal delegation of rights of one user to others. Therefore, it is required to develop a mechanism to specify and validate constraints applied on temporary delegation of roles and revocation of roles, that is, for short period of time when the actual user is engaged in some other activity or not available, with the help of a formal language so as to ensure that job assignments are granted and revoked accurately. In this article, we propose a delegation/revocation mechanism with the help of pre conditions and post conditions applied on delegation and revocation methods of an organization. In addition, the reason behind this paper is to specify constraints on delegation in a formal language and validate them with the help of a tool. We use the Unified Modeling language (UML) and the Object Constraint Language (OCL) for the specification of delegation and revocation schemes. We validate the delegation constraints with the help of the USE tool (UML-based specification environment), a validation tool for UML models and OCL constraints (2).
Read full abstract