Computer Science – Cryptography and Security
Scientific paper
2010-12-27
Computer Science
Cryptography and Security
Long version of the paper entitled "Automated Symbolic Analysis of ARBAC Policies" published in Proc. of 6th Int. Workshop on
Scientific paper
One of the most widespread framework for the management of access-control policies is Administrative Role Based Access Control (ARBAC). Several automated analysis techniques have been proposed to help maintaining desirable security properties of ARBAC policies. One limitation of many available techniques is that the sets of users and roles are bounded. In this paper, we propose a symbolic framework to overcome this difficulty. We design an automated security analysis technique, parametric in the number of users and roles, by adapting recent methods for model checking infinite state systems that use first-order logic and state-of-the-art theorem proving techniques. Preliminary experiments with a prototype implementations seem to confirm the scalability of our technique.
Armando Alessandro
Ranise Silvio
No associations
LandOfFree
Automated Symbolic Analysis of ARBAC-Policies (Extended Version) does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Automated Symbolic Analysis of ARBAC-Policies (Extended Version), we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Automated Symbolic Analysis of ARBAC-Policies (Extended Version) will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-22649