Modularisation in maude of parametrized RBAC for row level access control

Authors:
Ścibor Sobieski;Bartosz Zieliński
Affiliations:
Department of Theoretical Physics and Informatics, Faculty of Physics and Applied Informatics, University of Łodź, Łodź, Poland;Department of Theoretical Physics and Informatics, Faculty of Physics and Applied Informatics, University of Łodź, Łodź, Poland
Venue:
ADBIS'11 Proceedings of the 15th international conference on Advances in databases and information systems
Year:
2011

Citing 13
Cited 1

Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations

Theoretical Computer Science
Role-Based Access Control Models

Computer
The NIST model for role-based access control: towards a unified standard

RBAC '00 Proceedings of the fifth ACM workshop on Role-based access control
Flexible support for multiple access control policies

ACM Transactions on Database Systems (TODS)
Membership algebra as a logical framework for equational specification

WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Access control in a relational data base management system by query modification

ACM '74 Proceedings of the 1974 annual conference - Volume 1
Role-Based Access Control

Role-Based Access Control
Extending query rewriting techniques for fine-grained access control

SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
Rewriting-Based Access Control Policies

Electronic Notes in Theoretical Computer Science (ENTCS)
The maude 2.0 system

RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Adding Attributes to Role-Based Access Control

Computer
Term rewriting for access control

DBSEC'06 Proceedings of the 20th IFIP WG 11.3 working conference on Data and Applications Security
Modular access control via strategic rewriting

ESORICS'07 Proceedings of the 12th European conference on Research in Computer Security

Using maude rewriting system to modularize and extend SQL

Proceedings of the 28th Annual ACM Symposium on Applied Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

We formalize a Parametrized Role-Based Access Control in the language Maude. We demonstrate how this formalization can be used to specify a row level access control policy in a database and how module algebra capabilities of Maude assist in modularization of such specification.