A logical framework for reasoning about access control models

DMCA

A logical framework for reasoning about access control models (2003)

Cached

Download Links

[filebox.vt.edu]
[www.cacs.louisiana.edu]

Other Repositories/Bibliography

DBLP

by Elisa Bertino , Barbara Catania , Elena Ferrari , Paolo Perlasca

Venue:	ACM Trans. Inf. Syst. Secur
Citations:	123 - 2 self

Citations

2080	Foundations of Logic Programming - Lloyd - 1984
1517	Role-Based Access Control Models - Sandhu, Coyne, et al. - 1996
725	Padula: Secure Computer Systems: Unified Exposition and Multics Interpretation - Bell, La - 1976
487	Handbook of Graph Grammars and Computing by Graph Transformation; World Scientific - Rozenberg, Ehrig - 1997
306	Supporting multiple access control policies in database systems. - Bertino, Jajodia, et al. - 1996
225	Principles of Database and Knowledge Base Systems - Ullman - 1989
198	The nist model for role-based access control: Towards a unified standard. In - Sandhu, Ferraiolo, et al. - 2000
183	The specification and enforcement of authorization constraints in workflow management systems,” - Bertino, Ferrari, et al. - 1999
156	A model of authorization for next-generation database systems. - Rabitti, Bertino, et al. - 1991
150	A unified framework for enforcing multiple access control policies. - Jajodia, Samarati, et al. - 1997
129	The typed access matrix model. In: - Sandhu - 1992
120	Starburst mid-flight: As the dust clears - Haas, Chang, et al. - 1990
112	eds.: Handbook of graph grammars and computing by graph transformation - Ehrig, Engels, et al. - 1999
104	Undecidable optimization problems for database logic programs - Gaifman, Mairson, et al. - 1993
81	Role Hierarchies and Constraints for Lattice-Based Access Controls, - Sandhu - 1996
65	Practical safety in flexible access control models. - Jaeger, Tidswell - 2001
47	A Contentbased Authorization Model for Digital Librarie' - Adam, Atluri, et al. - 2002
45	PROGRES - A VHL-language Based on Graph Grammars - Schürr - 1991
42	H.: A model for evaluation and administration of security in object-oriented databases - Fernandez, Gudes, et al. - 1994
38	P.: A temporal authorization model - Bertino, Bettini, et al. - 1994
36	DACTL: An Experimental Graph Rewriting Language - Glauert, Kennaway, et al.
35	An Authorization Model for a Distributed Hypertext System - Samarati - 1996
32	Multilevel Security for Object-Oriented Database System - Lunt - 1989
31	Expressive power of the schematic protection model. - Sandhu - 1992
28	COMPLEX: An Object-Oriented Logic Programming System. - Greco, Leone, et al. - 1992
22	Safety analysis for the extended schematic protection model - Ammann, Sandhu - 1991
22	A system to specify and manage multipolicy access control models. - Bertino, Catania, et al. - 2002
22	On the Specification and Evolution of Access Control Policies - Koch, Mancini, et al. - 2001
17	A petri net based safety analysis of workflow authorization models”, - Atluri, Kuang, et al. - 2000
17	Equivalence, query-reachability, and satisfiability in datalog extensions - Levy, Mumick, et al. - 1993
16	A formal model for role-based access control using graph transformation - Koch, Mancini, et al. - 2000
14	Secure Database Systems, - Ferrari, Thuraisingham - 2000
9	A Logic-based Approach for Enforcing Access Control - Bertino, Buccafurri - 2000
2	An Access Control Mechanism Supporting Periodicity Constraints and Temporal Reasoning - Bertino, Bettini, et al. - 1998
2	Expressive power of the single-object typed access matrix model - Sandhu, Ganta - 1993
1	Database Security. Addison-Wesley. CORAL. See ftp.cs.wisc.edu/coral/. ECLiPSe. See http://www-icparc.doc.ic.ac.uk/eclipse - CASTANO, FUGINI, et al. - 1995
1	A Logical Framework for Reasoning about Access Control Models • 127 - THOMAS, R - 1997