Computer Science – Cryptography and Security
Scientific paper
2012-04-11
Computer Science
Cryptography and Security
Submitted to ESORICS 2012
Scientific paper
There have been many proposals for access control models and authorization policy languages, which form the basis for the design of access control systems. Most, if not all, of these proposals impose restrictions on the implementation of access control systems, limiting inter alia the type of authorization requests that can be processed or the structure of the authorization policies that can be specified. In this paper, we provide a formal characterization of the features of an access control system. However, we impose few restrictions on the actual implementation of such a system. In adopting this approach, we are able to define and articulate a number of desirable properties of an access control system in terms of our model, thereby laying the foundations for formal methods that can be used to analyze access control systems. We also illustrate that concrete instantiations of the framework yield important insights into the behavior of existing proposals for access control systems.
Crampton Jason
Morisset Charles
No associations
LandOfFree
Towards A Generic Formal Framework for Access Control Systems 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 Towards A Generic Formal Framework for Access Control Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Towards A Generic Formal Framework for Access Control Systems will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-716867