Abductive Analysis of Administrative Policies in Rule-Based Access Control
نویسندگان
چکیده
منابع مشابه
A Survey on Administrative Policies in Rule- Based Access Control
Administrative controls contains the official written policies, rules, events and standards. It form the outline for running the organization and handling people. The Rule-Based access control defines detailed circumstances for access to a demanded object. It uses an elementary user-naming syntax, thus can interoperate with maximum certification methods. In the previous work tabling is used to ...
متن کاملIncremental Analysis of Evolving Administrative Role Based Access Control Policies
We consider the safety problem for Administrative RoleBased Access Control (ARBAC) policies, i.e. detecting whether sequences of administrative actions can result in policies by which a user can acquire permissions that may compromise some security goals. In particular, we are interested in sequences of safety problems generated by modifications (namely, adding/deleting an element to/from the s...
متن کاملVac - Verifier of Administrative Role-Based Access Control Policies
In this paper we present Vac, an automatic tool for verifying security properties of administrative Role-based Access Control (RBAC). RBAC has become an increasingly popular access control model, particularly suitable for large organizations, and it is implemented in several software. Automatic security analysis of administrative RBAC systems is recognized as an important problem, as an analysi...
متن کاملDesign and Application of Rule Based Access Control Policies
Access control is an important issue among the security problems of resources in distributed systems. In order to enable entities in distributed systems to understand and interpret policies correctly, common concern is drawn to the problem of expressing access control policies with semantic information. In this paper, we introduce how to express access control policies based on OWL and SWRL. It...
متن کاملScalable automated symbolic analysis of administrative role-based access control policies by SMT solving
Administrative Role Based Access Control (ARBAC) is one of the most widespread framework for the management of access-control policies. Several automated analysis techniques have been proposed to help maintaining desirable security properties of ARBAC policies. One of the main limitation of available analysis techniques is that the set of users is bounded. In this paper, we propose a symbolic f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Dependable and Secure Computing
سال: 2014
ISSN: 1545-5971
DOI: 10.1109/tdsc.2013.42