A logical framework for reasoning about access control models

Publisher Website

1 May 2001

proceedings article
Published by Association for Computing Machinery (ACM)

p. 41-52
https://doi.org/10.1145/373256.373261

Abstract

No abstract available

This publication has 5 references indexed in Scilit:

An access control model supporting periodicity constraints and temporal reasoning
ACM Transactions on Database Systems, 1998
An extended authorization model for relational databases
IEEE Transactions on Knowledge and Data Engineering, 1997
A unified framework for enforcing multiple access control policies
Published by Association for Computing Machinery (ACM) ,1997
Role-based access control models
Computer, 1996
COMPLEX: an object-oriented logic programming system
IEEE Transactions on Knowledge and Data Engineering, 1992